How can I use a literal string argument value in a Typescript generic constraint?

Question

I\'m trying to write an object path utility that guarantees that the list of keys corresponds to an actual path in the specified generic type.

In my attempt below, I