diff --git a/fcs/download-paket.ps1 b/fcs/download-paket.ps1
index 7aa8c5ef6f7..4541168012b 100644
--- a/fcs/download-paket.ps1
+++ b/fcs/download-paket.ps1
@@ -1,4 +1,4 @@
-$paketurl="https://github.com/fsprojects/Paket/releases/download/5.210.1/paket.exe"
+$paketurl="https://github.com/fsprojects/Paket/releases/download/5.215.0/paket.exe"
 $paketdir = Join-Path $PSScriptRoot ".paket"
 $paketpath = Join-Path $paketdir "paket.exe"
 
diff --git a/fcs/download-paket.sh b/fcs/download-paket.sh
index d2bf8524a89..2825ac4d5ae 100755
--- a/fcs/download-paket.sh
+++ b/fcs/download-paket.sh
@@ -12,7 +12,7 @@ while [[ -h "$source" ]]; do
 done
 scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
 
-paketurl=https://github.com/fsprojects/Paket/releases/download/5.210.1/paket.exe
+paketurl=https://github.com/fsprojects/Paket/releases/download/5.215.0/paket.exe
 paketdir=$scriptroot/.paket
 paketpath=$paketdir/paket.exe
 if [ ! -e "$paketpath" ]; then
diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
index ae464f15758..4956e5a9789 100644
--- 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 _ :: _