Restrict generic key type based on lookup type in TypeScript

Question

I\'m working on a function that takes two type parameters. One extends a Record type and the other is a key of the first type. Is there a way I can restrict the