From f23a2044face8a22a74056392b0711bb738ce604 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Tue, 12 Nov 2024 23:34:30 -0500
Subject: [PATCH] Datatype tests: add FQPosTest>>testEqConstr1

---
 src/Refinements-Tests/FQPosTest.class.st | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/src/Refinements-Tests/FQPosTest.class.st b/src/Refinements-Tests/FQPosTest.class.st
index bdc3f3d22..09247ae10 100644
--- a/src/Refinements-Tests/FQPosTest.class.st
+++ b/src/Refinements-Tests/FQPosTest.class.st
@@ -31,3 +31,24 @@ constraint:
   tag [1]
 '
 ]
+
+{ #category : #tests }
+FQPosTest >> testEqConstr1 [
+	self provePos: '
+data Thing 0 = [
+  | Cons {Head : int}
+]
+
+bind 0 a : {v: Thing | Bool true }
+bind 1 x : {v: Thing | Bool true }
+bind 2 y : {v: `a    | Bool true }
+
+constraint:
+  env [0; 1; 2]
+  lhs {v:int | x === y }
+  rhs {v:int | y === x }
+  id 1 tag []
+'.
+
+
+]