Do not recover from Propagate

dotnet · Jul 4, 2019 · 1afa072 · 1afa072
1 parent 4a83f46
commit 1afa072
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
@@ -8604,7 +8604,7 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
                     else 
                         exprty
 
-                UnifyTypesAndRecover cenv env mExpr overallTy exprty
+                UnifyTypes cenv env mExpr overallTy exprty
 
         | DelayedDot :: _
         | DelayedSet _ :: _