Bir kullanıcı tanımlı tip guard, dönüş tipi tip yüklem (x is T) olan bir fonksiyondur. true döndüğünde, derleyici çağıran koddaki argümanı T ile daraltır — özel çalışma zamanı denetimlerini kapsüllemenizi sağlar.
{ (): ; }
{ (): ; }
(): pet is {
pet;
}
() {
((pet)) {
pet.();
} {
pet.();
}
}
