Given `type Pair<K, V extends K = K>`, which instantiation is rejected?

type Pair<K, V extends K = K> = [K, V]; type A = Pair<string>; type B = Pair<string, "a">; type C = Pair<string, number>;