Using key remapping with `as` and a conditional that yields `never`, what is the resolved shape of `Result`?

type PickByValue<T, V> = { [K in keyof T as T[K] extends V ? K : never]: T[K] }; type Result = PickByValue<{ a: number; b: string; c: number }, number>;