Skip to content

Commit 02a447d

Browse files
committed
only defer in CheckMode.Inferential
1 parent 215335b commit 02a447d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/compiler/checker.ts

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37002,7 +37002,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
3700237002
// use the resolvingSignature singleton to indicate that we deferred processing. This result will be
3700337003
// propagated out and eventually turned into silentNeverType (a type that is assignable to anything and
3700437004
// from which we never make inferences).
37005-
if (!node.typeArguments && (checkMode & CheckMode.SkipGenericFunctions && callSignatures.some(isGenericFunctionReturningFunction) || checkMode & CheckMode.SkipContextSensitive && isContextSensitive(node))) {
37005+
if (!node.typeArguments && (checkMode & CheckMode.SkipGenericFunctions && callSignatures.some(isGenericFunctionReturningFunction) || ((checkMode & (CheckMode.Inferential | CheckMode.SkipContextSensitive)) === (CheckMode.Inferential | CheckMode.SkipContextSensitive)) && isContextSensitive(node))) {
3700637006
skippedGenericFunction(node, checkMode);
3700737007
return resolvingSignature;
3700837008
}
@@ -37057,7 +37057,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
3705737057
return resolveUntypedCall(node);
3705837058
}
3705937059

37060-
if (!node.typeArguments && checkMode & CheckMode.SkipContextSensitive && isContextSensitive(node)) {
37060+
if (!node.typeArguments && ((checkMode & (CheckMode.Inferential | CheckMode.SkipContextSensitive)) === (CheckMode.Inferential | CheckMode.SkipContextSensitive)) && isContextSensitive(node)) {
3706137061
skippedGenericFunction(node, checkMode);
3706237062
return resolvingSignature;
3706337063
}

0 commit comments

Comments
 (0)