From 05f12826fd719112cc8aeb0b2255af757fa2b42c 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 e7ceb9b61665..5d1e8cc9e1f0 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