File: conditionalAnyCheckTypePicksBothBranches.errors.txt

package info (click to toggle)
node-typescript 5.0.4%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 459,140 kB
  • sloc: javascript: 1,972,754; makefile: 6; sh: 1
file content (15 lines) | stat: -rw-r--r-- 478 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
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'.