JavaScriptPlugins
diff --git a/‎src/compiler/checker.ts‎
Lines changed: 5 additions & 4 deletions b/‎src/compiler/checker.ts‎
Lines changed: 5 additions & 4 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
@@ -9184,13 +9184,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
             };
         }
 
@@ -9604,7 +9605,7 @@ namespace ts {
                                 getInferenceMapper(context)));
                     }
                     else {
-                        inferredType = emptyObjectType;
+                        inferredType = context.useAnyForNoInferences ? anyType : emptyObjectType;
                     }
 
                     inferenceSucceeded = true;
@@ -13652,7 +13653,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);
@@ -14353,7 +14354,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 @@ namespace ts {
         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 @@ namespace ts {`
`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 */`