A runtime condition TypeScript uses to narrow a value along one control-flow path.
Also known as type narrowing guard