Is it possible to add constraint to `keyof` of mapped types in TypeScript, for example, such that the `keyof` can only possibly `extends` certain enum type?

Thanks! #lazytwitter

Adding a playground link for tinkering to fail the type check of that line:

https://www.typescriptlang.org/play/?target=99#code/C4TwDgpgBACglhAwgCwIYCdgBFXFVAXigG8BfAKFEigCEMUNtd8izLxoAZOAOyTUw48hEhXbV4AL0moAcgFdg6OMDgB7HqgA2QlqPLkIADzBrMUCD3kBbKADE1agCYAVDiXJRYASQBavgEEAGnIxY1NzSxsoBkw3amJPWgCAJRCvTm9ZAFF0n1zQg3CzYCgqaFimPABZVDARRK8AbUr4iAA6GlSAXQAuWnoBKtQklqG29sycvqhuPkrdUdaOdphvbJn4fkZF0YdnCbX-AM24aTlFZVUNbUWvAHp7qAA9KDgAZzfS03f3uAAjLTQYBqKBgdBqZAAlRlKHvAD8oSAA

Tried to wrap it with a utility type that returns `never` when there is a `keyof` enum type mismatch but it still doesn’t throw the type error :S

https://www.typescriptlang.org/play/?target=99#code/KYDwDg9gTgLgBDAnmYcCiA7ArgWwLICGYKAJgCrLAA8aANHHgHxwC8cA1sIhAGYNygYwDCQDO6OAH5+ALjgZgAN2BQAUKqQo4ABQCWwAMIALArAAiBGAVZwA3gF8NlOACFTx0zAtWbDp1oAZXQUPc0trNj9-VD0AL1iCADksGChdGF0IDAIAG28Iu0dVUEhYAWwcOAAxCAhyZ1tVOB0ASQAtNoBBWlUikuh4YVw4UJgKLUbml06AJR7mgJbEuibWlb7wAYRnUfzCMBtMXH3ScepV0bP5u1XmgG1LygA6aZmAXTk3KF3w27gHkywM5PRbLD5wIIhQFeX7Ne6PFBPbQtNDgvSGaH5dRw-41OrA5EdTpo3TxJIpNIZLK5LE4gD0dLgAD04LpxOk4JBRKJdAAjHKoGAQTlQCBGPkcmDi0SSVaORhAA