File: inferTypesWithExtends2.js

package info (click to toggle)
node-typescript 5.0.4%2Bds1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 459,116 kB
  • sloc: javascript: 1,972,754; makefile: 6; sh: 1
file content (13 lines) | stat: -rw-r--r-- 414 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
//// [inferTypesWithExtends2.ts]
// infer twice with different constraints (same behavior as class/interface)
type X1<T> =
    T extends { a: infer U extends string, b: infer U extends number } ? U :
    never;

// infer cannot reference type params in same 'extends' clause
type X2<T> =
    T extends { a: infer U, b: infer V extends U } ? [U, V] :
    never;

//// [inferTypesWithExtends2.js]
"use strict";