Type Alias Projected<T, K>

Projected: [KeysFrom<K>] extends [never]
? T
: T extends object ? Pick<T, Extract<KeysFrom<K>, keyof Exactify<T>>> : T

Project item shape by keys; if K is never/unknown, fall back to T.