TypeScript satisfies operator

satisfies validates a value against a type without widening it. Know what it keeps versus what a type annotation throws away — and the subtle rule about which value literals actually survive.