microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-06-26 18:28:00 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Don't widen unique symbol types during type inference

Browse Source
This commit is contained in:
Anders Hejlsberg
2018-04-17 16:29:42 -07:00
parent 16cd5580a6
commit b11be80349
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/checker.ts
View File

@@ -12372,14 +12372,13 @@ namespace ts {
inferredType = getTypeFromInference(inference);
}
inferredType = getWidenedUniqueESSymbolType(inferredType);
inference.inferredType = inferredType;
const constraint = getConstraintOfTypeParameter(inference.typeParameter);
if (constraint) {
const instantiatedConstraint = instantiateType(constraint, context);
if (!context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
inference.inferredType = inferredType = getWidenedUniqueESSymbolType(instantiatedConstraint);
inference.inferredType = inferredType = instantiatedConstraint;
}
}
}