File: substitutionTypePassedToExtends.types

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 (13 lines) | stat: -rw-r--r-- 350 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
=== tests/cases/compiler/substitutionTypePassedToExtends.ts ===
type Foo1<A,B> = [A, B] extends unknown[][] ? Bar1<[A, B]> : 'else'
>Foo1 : Foo1<A, B>

type Bar1<T extends unknown[][]> = T
>Bar1 : T

type Foo2<A> = Set<A> extends Set<unknown[]> ? Bar2<Set<A>> : 'else'
>Foo2 : Foo2<A>

type Bar2<T extends Set<unknown[]>> = T
>Bar2 : T