Comment by chad_oliver

I believe this implements an exact object type in Typescript:

    type Exactly<Candidate, Shape> = Shape & {
        [key in keyof Candidate]: key extends keyof Shape ? Shape[key] : never;
    };

Credit goes to Manan Tank: https://twitter.com/MananTank_/status/1677610004743086080