File: inferTypesWithExtends2.types

package info (click to toggle)
node-typescript 4.9.5%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 533,908 kB
  • sloc: javascript: 2,018,330; makefile: 7; sh: 1
file content (20 lines) | stat: -rw-r--r-- 480 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
=== tests/cases/conformance/types/conditional/inferTypesWithExtends2.ts ===
// infer twice with different constraints (same behavior as class/interface)
type X1<T> =
>X1 : X1<T>

    T extends { a: infer U extends string, b: infer U extends number } ? U :
>a : U
>b : U

    never;

// infer cannot reference type params in same 'extends' clause
type X2<T> =
>X2 : X2<T>

    T extends { a: infer U, b: infer V extends U } ? [U, V] :
>a : U
>b : V

    never;