known-not-equivalent identities: a [+/-] lit[x, x =/= 0]

1 files changed, 1 insertions, 1 deletions

diff --git a/test.lang b/test.lang
index 1d84f4b..1eee23a 100644
--- a/test.lang
+++ b/test.lang
@@ -11,5 +11,5 @@
 proc main(a i64) {
 	let x = (a + -a) = (a xor a)
 	let y = (a + a) = (a * 2)
-	return x & y & (a = a) & ((a + 2) <> a) & (a = ~a)
+	return (x & y & (a = a) & (a = ~a)) | ((a + 2) <> a)
 }