Repository navigation
Reducing union types when inferring type parameters in function invocations #4115
Description
Spec 3.4 says:
Union types are reduced to the smallest possible set of constituent types using these rules
But in compiler they are not reduced in case of inferring type parameters in function invocations. For example:
var o = {};
// According to spec, type of p should be reduced to {}
function f<T>(p: T | typeof o): T
{
var t: T;
var temp = t || o; // here union type is reduced, and it is really {}
return null;
}
// Another function where type of p is really {}. According to spec, it should be equal to f, shouldn't it?
function f2<T>(p: typeof o): T
{
return null;
}
// But really they are different
var e = f(5); // number
var e2 = f2(5); // {}Could you please clarify, when union type are really reduced and when they are not.
Activity
JsonFreeman commentedon Aug 1, 2015
I imagine you are using the latest from master. Constituents in a union type are no longer reduced, at least not by the subtype relation. I believe this change is reflected in spec update #4033.
JsonFreeman commentedon Aug 1, 2015
And the code change for removing subtype reduction is #3823.
ahejlsberg commentedon Aug 1, 2015
That paragraph has been removed from the spec.
I have yet to add a description of the new deduplication algorithm, but basically a type S is considered a duplicate of a type T if:
In other words, we get rid of types that are identical to other types in the set, except they may have nulls or undefineds where the other types don't.
The implementation of this algorithm is in the
removeDuplicateTypesfunction in checker.ts.osdm commentedon Aug 2, 2015
Jason Freeman (@JsonFreeman) Anders Hejlsberg (@ahejlsberg) Thanks for updates!