Почему TypeScript Generics может быть рекурсивной в классе Generic-Extends-Guard? ⇐ Javascript

[Anonymous]

Я писал какой-то код и пытался выяснить, как убедиться, что общий тип, переданный в класс, удовлетворяет «ключам строк для функционирования записей», и единственное, что сработало бы и не приведет к тому, что TSC будет жаловаться: < /p>

Код: Выделить всё

type EventMap = { [K in keyof T]: (...args: any) => any }

export class wRPC {
//...
< /code>
Почему это работает? Будь то в извлеченном типе или вставленном, TypeScript позволяет мне ссылаться на 

в extends, который он удовлетворяет. Как это разрешено?


Подробнее здесь: https://stackoverflow.com/questions/795 ... ends-guard