Refine unions in contextual typing

Source issue #16450 and others (TODO: find them)

This code should work, but doesn't:

interface X {
    type: 'x';
    value: string;
}

interface Y {
    type: 'y';
    value: 'none' | 'done';
}

function foo(bar: X | Y) { }

foo({
    type: 'y',
    value: 'done',
});

Similar example:

interface X {
    type1: 'x';
    value: string;
}

interface Y {
    type2: 'y';
    value: 'none' | 'done';
}

function foo(bar: X | Y) { }

foo({
    type2: 'y',
    value: 'done',
});

We can, in principle, make this work by discarding X from the union.

In the first example, this can be done (somehow) by using the discriminating union from the object literal.

In the second example, this can be done by noting that we have a fresh object literal type (meaning there are known to be no additional properties) and a missing type1 property.

+1
Looking forward to see any progress on this!

Microsoft has the current version at typescript.com

seems to be the same underlying issue as #18365

I have a fix for the first example, but note that the first example won't magically work because value looks like a discriminant too, albeit not a useful one. This fails with current narrowing as well:

function f(xy: X | Y) {
  if (xy.value === 'done') {
    // xy: X | Y
  }
  else {
    // xy: X | Y
  }
}

That's because, as a discriminant, string | 'none' | 'done' boils down to just string.

Another alternative here is to always maintain the literal type if the contextual type is its base type. i.e. give value the type "done" even thought the contextual type is string.

I think #19587 will fix this.

Should this code work after fix?

interface Control {
    CurrentMode: "View" | "Edit";
}

let controls: Control[];
let controlsToEdit: Control[] = controls.map(c => c
    ? { CurrentMode: "Edit" }
    : c);

For now (ts 2.8.3) I get Type 'string' is not assignable to type '"View" | "Edit"'

Slava (@mifopen)

Slava (@mifopen) i think this is #11152

Navigation Menu

Repository navigation

Refine unions in contextual typing #16457

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Refine unions in contextual typing #16457

Description

Activity

timwangdev commented on Jul 13, 2017

jebcat1982 commented on Jul 13, 2017

mhegazy commented on Sep 12, 2017

sandersn commented on Sep 14, 2017

mhegazy commented on Oct 9, 2017

sandersn commented on Nov 1, 2017

mifopen commented on May 24, 2018

mhegazy commented on May 24, 2018

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions