KeysOfType and exact type of property

Question

I\'m using KeysOfType from https://stackoverflow.com/a/49752227:

type KeysOfType = { [P in keyof T]: T[P] extends TProp? P : never }[keyof T];