Некоторые ограничения при использовании дженериков (обобщённых типов) в TypeScript:

• Компилятор не знает тип аргумента. 1 По умолчанию вместо обобщённого параметра можно подставить любой тип, поэтому компилятор не может быть уверен, что у типа есть определённое свойство. 1 Например, если нужно использовать методы массива в теле функции, необходимо в явном виде указать, что передаётся массив, для которого работает этот метод. 4
• Нельзя написать две функции с одним именем, когда одна реализована для конкретного типа, а другая — для обобщённого. 1
• Статические члены класса не могут использовать типовые параметры класса. 2 Обобщённые типы применимы только по отношению к типу экземпляра, но не к типу статической части. 2
• Нельзя создавать обобщённые перечисления и пространства имён. 2

Чтобы ограничить тип, принимаемый дженериком, используют Generic Constraint — ограничения дженерика. 5 Они позволяют сузить перечень типов, которые можно передать в обобщённом аргументе, и расширяют возможности по работе с этими типами. 1