Menyempitkan dengan in

Operator in memeriksa apakah sebuah nama properti ada di dalam objek. Pada union dua bentuk objek, pemeriksaan ini menyempitkan tipenya ke bentuk yang memiliki properti tersebut.

type Motor = { cc: number };
type Mobil = { pintu: number; bagasi: boolean };

function jenis(k: Motor | Mobil): string {
  if ("pintu" in k) return `Mobil ${k.pintu} pintu`;
  return `Motor ${k.cc} cc`;
}

Nama properti yang diperiksa ditulis sebagai teks di antara tanda kutip. Di dalam blok if, properti pintu sudah boleh dibaca; di luar blok itu, yang tersisa hanya bentuk Motor.