equality & comparison constraints for ^Step param in .. .. operator

Fixes #6238. Compiler does not infer this automatically through `and default`.
dotnet · May 10, 2024 · 539ba22 · 539ba22
1 parent 08dd9de
commit 539ba22
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/FSharp.Core/prim-types.fsi b/src/FSharp.Core/prim-types.fsi
@@ -3758,6 +3758,8 @@ namespace Microsoft.FSharp.Core
                                 and ^Step: (static member Zero: ^Step)
                                 and ^T: equality
                                 and ^T: comparison                                
+                                and ^Step: equality
+                                and ^Step: comparison                                
                                 and default ^Step: ^T
                                 and default ^T: int