What is `R`, given that the conditional checks an indexed access whose object is a naked parameter?

type Vals<T> = T[keyof T] extends infer V ? (V extends string ? V : never) : never; type Obj = { a: "x"; b: 2; c: "y" }; type R = Vals<Obj>;