Infer intersection types for multiple contravariant candidates

This commit is contained in:
Anders Hejlsberg
2018-01-26 10:56:03 -08:00
parent 60c9249ac4
commit e4502121f0

View File

@@ -11271,7 +11271,7 @@ namespace ts {
function getTypeFromInference(inference: InferenceInfo) {
return inference.candidates ? getUnionType(inference.candidates, UnionReduction.Subtype) :
inference.contraCandidates ? getCommonSubtype(inference.contraCandidates) :
inference.contraCandidates ? getIntersectionType(inference.contraCandidates) :
undefined;
}