From 2de9d1ae543f854d23467e921218b9b1d265f62c Mon Sep 17 00:00:00 2001
From: Abel Braaksma <abel.online@xs4all.nl>
Date: Fri, 10 May 2024 13:06:58 +0200
Subject: [PATCH] equality & comparison constraints for `^Step` param in `..
 ..` operator

Fixes #6238. Compiler does not infer this automatically through `and default`.
---
 src/FSharp.Core/prim-types.fsi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/FSharp.Core/prim-types.fsi b/src/FSharp.Core/prim-types.fsi
index dee677aac31..89b8ec82b38 100644
--- 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