15 lines
478 B
Plaintext
15 lines
478 B
Plaintext
tests/cases/compiler/conditionalAnyCheckTypePicksBothBranches.ts(9,1): error TS2322: Type '0' is not assignable to type '1'.
|
|
|
|
|
|
==== tests/cases/compiler/conditionalAnyCheckTypePicksBothBranches.ts (1 errors) ====
|
|
type T = any extends number ? 1 : 0;
|
|
let x: T;
|
|
x = 1;
|
|
x = 0; // not an error
|
|
|
|
type U = [any] extends [number] ? 1 : 0;
|
|
let y: U;
|
|
y = 1;
|
|
y = 0; // error
|
|
~
|
|
!!! error TS2322: Type '0' is not assignable to type '1'. |