File: conditionalAnyCheckTypePicksBothBranches.errors.txt

package info (click to toggle)
node-typescript 5.2.2-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 497,488 kB
  • sloc: javascript: 2,107,274; makefile: 6; sh: 1
file content (15 lines) | stat: -rw-r--r-- 436 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
conditionalAnyCheckTypePicksBothBranches.ts(9,1): error TS2322: Type '0' is not assignable to type '1'.


==== 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'.