let x: never = true; // Error: Type 'boolean' is not assignable to type 'never'.
prog.ts(1,5): error TS2322: Type 'boolean' is not assignable to type 'never'.