Type alias Entries<O, K>

Entries<O, K>: 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][]