Merge branch 'main' into fix-16343

# Conflicts:
#	src/Compiler/Checking/Expressions/CheckComputationExpressions.fs

src/Compiler/Checking/Expressions/CheckComputationExpressions.fs

@@ -1779,54 +1779,7 @@ let rec TryTranslateComputationExpression
                 |> addBindDebugPoint spBind
             )
 
-        // 'let! pat = expr in expr'
-        //    --> build.Bind(e1, (fun _argN -> match _argN with pat -> expr))
-        //  or
-        //    --> build.BindReturn(e1, (fun _argN -> match _argN with pat -> expr-without-return))
-        | SynExpr.LetOrUseBang(
-            bindDebugPoint = spBind
-            isUse = false
-            isFromSource = isFromSource
-            pat = pat
-            rhs = rhsExpr
-            andBangs = []
-            body = innerComp
-            trivia = { LetOrUseBangKeyword = mBind }) ->
-
-            if ceenv.isQuery then
-                error (Error(FSComp.SR.tcBindMayNotBeUsedInQueries (), mBind))
-
-            // Add the variables to the query variable space, on demand
-            let varSpace =
-                addVarsToVarSpace varSpace (fun _mCustomOp env ->
-                    use _holder = TemporarilySuspendReportingTypecheckResultsToSink cenv.tcSink
-
-                    let _, _, vspecs, envinner, _ =
-                        TcMatchPattern cenv (NewInferenceType cenv.g) env ceenv.tpenv pat None TcTrueMatchClause.No
-
-                    vspecs, envinner)
-
-            let rhsExpr =
-                mkSourceExprConditional isFromSource rhsExpr ceenv.sourceMethInfo ceenv.builderValName
-
-            Some(
-                TranslateComputationExpressionBind
-                    ceenv
-                    comp
-                    q
-                    varSpace
-                    mBind
-                    (addBindDebugPoint spBind)
-                    "Bind"
-                    [ rhsExpr ]
-                    pat
-                    innerComp
-                    translatedCtxt
-            )
-
-        // 'use! pat = e1 in e2' --> build.Bind(e1, (function _argN -> match _argN with pat -> build.Using(x, (fun _argN -> match _argN with pat -> e2))))
-        // or
-        // 'use! _ = e1 in e2' --> build.Bind(e1, (fun _argN -> e2))
+        // 'use! pat = e1 in e2' --> build.Bind(e1, (function  _argN -> match _argN with pat -> build.Using(x, (fun _argN -> match _argN with pat -> e2))))
         | ExprAsUseBang(spBind, isFromSource, pat, rhsExpr, andBangs, innerComp, mBind) ->
             if ceenv.isQuery then
                 error (Error(FSComp.SR.tcBindMayNotBeUsedInQueries (), mBind))