Updated FCS type constraints (#4016)

Author: ncave

.config/dotnet-tools.json

@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "fantomas": {
-      "version": "6.3.16",
+      "version": "7.0.0",
       "commands": [
         "fantomas"
       ]

lib/fcs/FSharp.Compiler.Service.dll

@@ -32571,6 +32571,11 @@ Get the signature for the value's XML documentation
  Indicates a constraint that a type is a reference type
 </summary>
 </member>
+<member name="P:FSharp.Compiler.Symbols.FSharpGenericParameterConstraint.IsNotSupportsNullConstraint">
+<summary>
+ Indicates a constraint that a type doesn&apos;t support nullness
+</summary>
+</member>
 <member name="P:FSharp.Compiler.Symbols.FSharpGenericParameterConstraint.IsNonNullableValueTypeConstraint">
 <summary>
  Indicates a constraint that a type is a non-Nullable value type
@@ -32611,6 +32616,11 @@ Get the signature for the value&apos;s XML documentation
  Indicates a constraint that a type is a subtype of the given type
 </summary>
 </member>
+<member name="P:FSharp.Compiler.Symbols.FSharpGenericParameterConstraint.IsAllowsRefStructConstraint">
+<summary>
+ An anti-constraint indicating that ref structs (e.g. Span&lt;&gt;) are allowed here
+</summary>
+</member>
 <member name="P:FSharp.Compiler.Symbols.FSharpGenericParameterConstraint.EnumConstraintTarget">
 <summary>
  Gets further information about an enumeration constraint

lib/fcs/FSharp.Compiler.Service.xml

@@ -83,13 +83,17 @@ type Constraint =
     | HasMember of name: string * isStatic: bool
     | CoercesTo of target: Type
     | IsNullable
+    | IsNotNullable
     | IsValueType
     | IsReferenceType
     | HasDefaultConstructor
+    | HasAllowsRefStruct
     | HasComparison
     | HasEquality
     | IsUnmanaged
-    | IsEnum
+    | IsDelegate of argsType: Type * retType: Type
+    | IsEnum of baseType: Type
+    | SimpleChoice of types: Type list
 
 type GenericParam =
     abstract Name: string

lib/fcs/FSharp.Core.dll

@@ -14,6 +14,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 * [All] Updated FCS to latest F# 9.0 (by @ncave)
 * [All] Updated Fable-FCS to latest F# 9.0 (by @ncave)
 * [All] Updated metadata to latest .NET 9.0 (by @ncave)
+* [All] Updated FCS type constraints (by @ncave)
 
 ### Fixed
 

lib/fcs/FSharp.DependencyManager.Nuget.dll

@@ -504,9 +504,7 @@ let main argv =
     let createLogger level =
         use factory =
             LoggerFactory.Create(fun builder ->
-                builder
-                    .SetMinimumLevel(level)
-                    .AddCustomConsole(fun options -> options.UseNoPrefixMsgStyle <- true)
+                builder.SetMinimumLevel(level).AddCustomConsole(fun options -> options.UseNoPrefixMsgStyle <- true)
                 |> ignore
             )
 

src/Fable.AST/Fable.fs

@@ -175,9 +175,7 @@ module Js =
                     // I believe for now we can ship it like that because it only deteriorate the source map
                     // it should not break them completely.
                     if srcLine <> 0 && srcCol <> 0 && file <> Some "unknown" then
-                        mapGenerator
-                            .Force()
-                            .AddMapping(generated, original, source = sourcePath, ?name = displayName)
+                        mapGenerator.Force().AddMapping(generated, original, source = sourcePath, ?name = displayName)
 
     let compileFile (com: Compiler) (cliArgs: CliArgs) pathResolver isSilent (outPath: string) =
         async {

src/Fable.Cli/CHANGELOG.md

@@ -14,6 +14,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 * [All] Updated FCS to latest F# 9.0 (by @ncave)
 * [All] Updated Fable-FCS to latest F# 9.0 (by @ncave)
 * [All] Updated metadata to latest .NET 9.0 (by @ncave)
+* [All] Updated FCS type constraints (by @ncave)
 
 ### Fixed