maxmustermann/TypeScript
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Properly instantiate true type when extends type is any or unknown

Browse source
This commit is contained in:
Anders Hejlsberg 2019-04-27 09:56:01 -07:00
parent 454b4280b1
commit 5a567ad56d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/compiler/checker.ts
View file

@ -10383,7 +10383,7 @@ namespace ts {
// We attempt to resolve the conditional type only when the check and extends types are non-generic // We attempt to resolve the conditional type only when the check and extends types are non-generic
if (!checkTypeInstantiable && !maybeTypeOfKind(inferredExtendsType, TypeFlags.Instantiable | TypeFlags.GenericMappedType)) { if (!checkTypeInstantiable && !maybeTypeOfKind(inferredExtendsType, TypeFlags.Instantiable | TypeFlags.GenericMappedType)) {
if (inferredExtendsType.flags & TypeFlags.AnyOrUnknown) { if (inferredExtendsType.flags & TypeFlags.AnyOrUnknown) {
return trueType; return instantiateType(root.trueType, combinedMapper || mapper);
} }
// Return union of trueType and falseType for 'any' since it matches anything // Return union of trueType and falseType for 'any' since it matches anything
if (checkType.flags & TypeFlags.Any) { if (checkType.flags & TypeFlags.Any) {