example.ts(1,5): error TS2322: Type 'true' is not assignable to type 'never'.