TypeScript: `never` for exhaustive checks

Force compiler errors when unions grow.

function assertNever(x: never): never { throw new Error(String(x)); }