--- assert.run
+++ assert.run-ir
@@ -1 +1 @@
-assert/Lib.mo:4.5-4.17: execution error, assertion failure
+assert/Lib.mo:3.27-5.4: execution error, assertion failure