With --strictFunctionTypes, always use strict variance for strict subtype relation

This commit is contained in:
Anders Hejlsberg
2020-12-17 06:33:22 -10:00
parent 77b5139cb0
commit 3545dcb25a

View File

@@ -16231,7 +16231,7 @@ namespace ts {
return Ternary.False;
}
const strictVariance = !(checkMode & SignatureCheckMode.Callback) && strictFunctionTypes && (isStrictSignature(target) || isStrictSignature(source));
const strictVariance = !(checkMode & SignatureCheckMode.Callback) && strictFunctionTypes && (checkMode & SignatureCheckMode.StrictArity || isStrictSignature(target));
let result = Ternary.True;
const sourceThisType = getThisTypeOfSignature(source);