A generic constraint (T extends ...) membatasi jenis apa yang boleh menjadi parameter generik, sehingga anda dapat dengan aman menggunakan sifat atau kaedah tertentu padanya. Tanpa batasan, generik boleh menjadi apa sahaja, jadi anda tidak boleh menganggap ia mempunyai sebarang anggota.
longestBad<T>(: T, : T) {
a. > b. ? a : b;
}
longest<T { : }>(: T, : T): T {
a. > b. ? a : b;
}
(, );
([, ], []);
(, );
