File: mappedTypeInferenceAliasSubstitution.ts

package info (click to toggle)
node-typescript 5.1.6%2Bds1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 492,516 kB
  • sloc: javascript: 2,078,951; makefile: 6; sh: 1
file content (14 lines) | stat: -rw-r--r-- 371 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
// @strict: true
// @noEmit: true

// repro from #31616

const v = { test: { smth: 5 } };

type Field<A extends string, R> = { [K in A]: R }

const f = <A extends string, B extends string, R>(x: { [K in A]: Field<B, R> }): R => ({} as any);
const r1 = f(v);

const g = <A extends string, B extends string, R>(x: Field<A, Field<B, R>>): R => ({} as any);
const r2 = g(v);