Remove always-on AndBang language feature flag

src/Compiler/Checking/Expressions/CheckComputationExpressions.fs

@@ -2129,14 +2129,6 @@ let rec TryTranslateComputationExpression
                         translatedCtxt
                 )
             | _ ->
-                if not (cenv.g.langVersion.SupportsFeature LanguageFeature.AndBang) then
-                    let andBangRange =
-                        match andBangBindings with
-                        | [] -> comp.Range
-                        | h :: _ -> h.Trivia.LeadingKeyword.Range
-
-                    error (Error(FSComp.SR.tcAndBangNotSupported (), andBangRange))
-
                 if ceenv.isQuery then
                     error (Error(FSComp.SR.tcBindMayNotBeUsedInQueries (), mBind))
 
@@ -2684,11 +2676,7 @@ and TranslateComputationExpressionBind
 
     let innerRange = innerComp.Range
 
-    let innerCompReturn =
-        if ceenv.cenv.g.langVersion.SupportsFeature LanguageFeature.AndBang then
-            convertSimpleReturnToExpr ceenv comp varSpace innerComp
-        else
-            None
+    let innerCompReturn = convertSimpleReturnToExpr ceenv comp varSpace innerComp
 
     match innerCompReturn with
     | Some(innerExpr, customOpInfo) when hasBuilderMethod ceenv bindRange (bindName + "Return") ->

src/Compiler/FSComp.txt

@@ -1545,7 +1545,6 @@ csTypeHasNullAsExtraValue,"The type '%s' supports 'null' but a non-null type is
 3303,fromEndSlicingRequiresVFive,"The 'from the end slicing' feature requires language version 'preview'."
 3304,poundiNotSupportedByRegisteredDependencyManagers,"#i is not supported by the registered PackageManagers"
 3343,tcRequireMergeSourcesOrBindN,"The 'let! ... and! ...' construct may only be used if the computation expression builder defines either a '%s' method or appropriate 'MergeSources' and 'Bind' methods"
-3344,tcAndBangNotSupported,"This feature is not supported in this version of F#. You may need to add /langversion:preview to use this feature."
 3345,tcInvalidUseBangBindingNoAndBangs,"use! may not be combined with and!"
 3349,chkFeatureNotSupportedInLibrary,"Feature '%s' requires the F# library for language version %s or greater."
 3350,chkFeatureNotLanguageSupported,"Feature '%s' is not available in F# %s. Please use language version %s or greater."
@@ -1573,7 +1572,6 @@ featureDotlessFloat32Literal,"dotless float32 literal"
 featurePackageManagement,"package management"
 featureFromEndSlicing,"from-end slicing"
 featureFixedIndexSlice3d4d,"fixed-index slice 3d/4d"
-featureAndBang,"applicative computation expressions"
 featureNullnessChecking,"nullness checking"
 featureResumableStateMachines,"resumable state machines"
 featureNullableOptionalInterop,"nullable optional interop"

src/Compiler/Facilities/LanguageFeatures.fs

@@ -27,7 +27,6 @@ type LanguageFeature =
     | PackageManagement
     | FromEndSlicing
     | FixedIndexSlice3d4d
-    | AndBang
     | ResumableStateMachines
     | NullableOptionalInterop
     | DefaultInterfaceMemberConsumption
@@ -160,7 +159,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array)
                 // F# 5.0
                 LanguageFeature.FixedIndexSlice3d4d, languageVersion50
                 LanguageFeature.DotlessFloat32Literal, languageVersion50
-                LanguageFeature.AndBang, languageVersion50
                 LanguageFeature.NullableOptionalInterop, languageVersion50
                 LanguageFeature.DefaultInterfaceMemberConsumption, languageVersion50
                 LanguageFeature.OpenTypeDeclaration, languageVersion50
@@ -375,7 +373,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array)
         | LanguageFeature.PackageManagement -> FSComp.SR.featurePackageManagement ()
         | LanguageFeature.FromEndSlicing -> FSComp.SR.featureFromEndSlicing ()
         | LanguageFeature.FixedIndexSlice3d4d -> FSComp.SR.featureFixedIndexSlice3d4d ()
-        | LanguageFeature.AndBang -> FSComp.SR.featureAndBang ()
         | LanguageFeature.NullnessChecking -> FSComp.SR.featureNullnessChecking ()
         | LanguageFeature.ResumableStateMachines -> FSComp.SR.featureResumableStateMachines ()
         | LanguageFeature.NullableOptionalInterop -> FSComp.SR.featureNullableOptionalInterop ()

src/Compiler/Facilities/LanguageFeatures.fsi

@@ -17,7 +17,6 @@ type LanguageFeature =
     | PackageManagement
     | FromEndSlicing
     | FixedIndexSlice3d4d
-    | AndBang
     | ResumableStateMachines
     | NullableOptionalInterop
     | DefaultInterfaceMemberConsumption