File: substitutionTypePassedToExtends.types

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-- 400 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
//// [tests/cases/compiler/substitutionTypePassedToExtends.ts] ////

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