From d2967d0b05658045aa9e4a6cd1b5e3238a3e1a66 Mon Sep 17 00:00:00 2001
From: Jack Bates <jack@nottheoilrig.com>
Date: Wed, 28 Aug 2019 16:18:51 -0700
Subject: [PATCH] Higher order this parameter inference, like #31116

---
 src/compiler/checker.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index ad3f3b71f29fb..f03439dcff53c 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -24179,7 +24179,7 @@ namespace ts {
             const thisType = getThisTypeOfSignature(signature);
             if (thisType) {
                 const thisArgumentNode = getThisArgumentOfCall(node);
-                const thisArgumentType = thisArgumentNode ? checkExpression(thisArgumentNode) : voidType;
+                const thisArgumentType = thisArgumentNode ? checkExpressionWithContextualType(thisArgumentNode, thisType, context, checkMode) : voidType;
                 inferTypes(context.inferences, thisArgumentType, thisType);
             }