Type alias substitution does not work

TypeScript Version: 3.5.0-dev.20190525

Search Terms:
type substitution is incorrect

Code

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 g = <A extends string, B extends string, R>(x: Field<A, Field<B, R>>): R => ({} as any);
const r1 = f(v); // number
const r2 = g(v); // unknown

Expected behavior:
Both should be number.

Actual behavior:
unknown

Playground Link:
Link

Related Issues:
Nope.

Regressed between 2.3 and 2.4

Removed suspect | {}:

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 g = <A extends string, B extends string, R>(x: Field<A, Field<B, R>>): R => ({} as any);
const r1 = f(v); // number
const r2 = g(v); // unknown

Regression caused by #15863 - potential fix is up at #31633 - I need to run RWC to validate fp-ts doesn't OOM (which was what originally prompted the original change that caused the regression), since the change introducing the regression didn't come with any baked-in tests ❤️

These are both number now as expected

Navigation Menu

Repository navigation

Type alias substitution does not work #31616

23 remaining items

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Type alias substitution does not work #31616

Description

Activity

RyanCavanaugh commented on May 28, 2019

weswigham commented on May 28, 2019

23 remaining items

RyanCavanaugh commented on Feb 14, 2023

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions