fix #7401

dotnet · Apr 4, 2022 · efd6e9f · efd6e9f
1 parent 6f1a778
commit efd6e9f
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/src/fsharp/CheckExpressions.fs b/src/fsharp/CheckExpressions.fs
@@ -9346,10 +9346,13 @@ and GetNewInferenceTypeForMethodArg cenv env tpenv x =
         mkByrefTyWithInference g (GetNewInferenceTypeForMethodArg cenv env tpenv a) (NewByRefKindInferenceType g m)
     | SynExpr.Lambda (body = a) ->
         mkFunTy g (NewInferenceType g) (GetNewInferenceTypeForMethodArg cenv env tpenv a)
+    | SynExpr.MatchLambda _ ->
+        mkFunTy g (NewInferenceType g) (NewInferenceType g)
     | SynExpr.Quote (_, raw, a, _, _) ->
         if raw then mkRawQuotedExprTy g
         else mkQuotedExprTy g (GetNewInferenceTypeForMethodArg cenv env tpenv a)
-    | _ -> NewInferenceType g
+    | _ ->
+        NewInferenceType g
 
 /// Method calls, property lookups, attribute constructions etc. get checked through here
 and TcMethodApplication

diff --git a/tests/fsharp/core/members/basics-hw/test.fsx b/tests/fsharp/core/members/basics-hw/test.fsx
@@ -5656,6 +5656,22 @@ module Fix11816 =
     check "wwvwev" a 64L
     check "wwvwev23" b.X 64L
 
+module OverloadResolutionUsingFunction =
+
+    open System
+    let ae = new AggregateException()
+
+    ae.Handle(fun e ->
+        match e with
+        | :? OperationCanceledException -> true
+        | _ -> false        
+        )
+
+    ae.Handle(function
+        | :? OperationCanceledException -> true
+        | _ -> false        
+        )
+
 #if TESTS_AS_APP
 let RUN() = !failures
 #else