JavaScriptPlugins
diff --git a/‎src/compiler/checker.ts‎
Lines changed: 7 additions & 3 deletions b/‎src/compiler/checker.ts‎
Lines changed: 7 additions & 3 deletions
diff --git a/‎src/compiler/types.ts‎
Lines changed: 1 addition & 0 deletions b/‎src/compiler/types.ts‎
Lines changed: 1 addition & 0 deletions
@@ -9177,13 +9177,14 @@ namespace ts {
             }
         }
 
-        function createInferenceContext(signature: Signature, inferUnionTypes: boolean): InferenceContext {
+        function createInferenceContext(signature: Signature, inferUnionTypes: boolean, useAnyForNoInferences: boolean): InferenceContext {
             const inferences = map(signature.typeParameters, createTypeInferencesObject);
             return {
                 signature,
                 inferUnionTypes,
                 inferences,
                 inferredTypes: new Array(signature.typeParameters.length),
+                useAnyForNoInferences
             };
         }
 
@@ -9613,6 +9614,9 @@ namespace ts {
                             context.inferredTypes[index] = inferredType = instantiatedConstraint;
                         }
                     }
+                    if (context.useAnyForNoInferences && !inferences.length && inferredType === emptyObjectType) {
+                        context.inferredTypes[index] = inferredType = anyType;
+                    }
                 }
                 else if (context.failedTypeParameterIndex === undefined || context.failedTypeParameterIndex > index) {
                     // If inference failed, it is necessary to record the index of the failed type parameter (the one we are on).
@@ -13634,7 +13638,7 @@ namespace ts {
 
         // Instantiate a generic signature in the context of a non-generic signature (section 3.8.5 in TypeScript spec)
         function instantiateSignatureInContextOf(signature: Signature, contextualSignature: Signature, contextualMapper: TypeMapper): Signature {
-            const context = createInferenceContext(signature, /*inferUnionTypes*/ true);
+            const context = createInferenceContext(signature, /*inferUnionTypes*/ true, /*useAnyForNoInferences*/ false);
             forEachMatchingParameterType(contextualSignature, signature, (source, target) => {
                 // Type parameters from outer context referenced by source type are fixed by instantiation of the source type
                 inferTypesWithContext(context, instantiateType(source, contextualMapper), target);
@@ -14335,7 +14339,7 @@ namespace ts {
                     let candidate: Signature;
                     let typeArgumentsAreValid: boolean;
                     const inferenceContext = originalCandidate.typeParameters
-                        ? createInferenceContext(originalCandidate, /*inferUnionTypes*/ false)
+                        ? createInferenceContext(originalCandidate, /*inferUnionTypes*/ false, /*useAnyForNoInferences*/ isInJavaScriptFile(node))
                         : undefined;
 
                     while (true) {
 
@@ -3235,6 +3235,7 @@
         mapper?: TypeMapper;                // Type mapper for this inference context
         failedTypeParameterIndex?: number;  // Index of type parameter for which inference failed
         // It is optional because in contextual signature instantiation, nothing fails
+        useAnyForNoInferences?: boolean;    // Use any instead of {} for no inferences
     }
 
     /* @internal */
Original file line number	Diff line number	Diff line change
`@@ -3235,6 +3235,7 @@`
`3235`	`3235`	`mapper?: TypeMapper; // Type mapper for this inference context`
`3236`	`3236`	`failedTypeParameterIndex?: number; // Index of type parameter for which inference failed`
`3237`	`3237`	`// It is optional because in contextual signature instantiation, nothing fails`
	`3238`	`+ useAnyForNoInferences?: boolean; // Use any instead of {} for no inferences`
`3238`	`3239`	`}`
`3239`	`3240`
`3240`	`3241`	`/* @internal */`