Add testEqConstr0

shingarov · Nov 17, 2024 · 1de36bc · 1de36bc
1 parent 793712e
commit 1de36bc
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/Refinements-Tests/FQPosTest.class.st b/src/Refinements-Tests/FQPosTest.class.st
@@ -15,3 +15,19 @@ constraint:
   tag [1]
 '
 ]
+
+{ #category : #tests }
+FQPosTest >> testEqConstr0 [
+	self provePos: '
+bind 0 a : {v: int | Bool true }
+bind 1 x : {v: int | 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 [1]
+'
+]