Type Alias Entries<O, K>

Entries: K extends readonly [infer H, ...(infer R)]
    ? H extends keyof O
        ? [R] extends [[]] ? [[H, O[H]]] : [[H, O[H]], ...Entries<O, R>]
        : never
    : [PropertyKey, unknown][]