Inline Checks

function getName(pet: Pet): string {
  if ("collar" in pet) {
    // TypeScript knows that pet is a Dog now
    return pet.collar.name
  }

  // TypeScript knows that it can only be a Cat now
  return pet.microchip.name
}