Un-revert "Use different syntax for checks that matter to typestate", fixing the problem.

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

1 files changed, 16 insertions, 16 deletions

diff --git a/src/test/run-pass/arith-1.rs b/src/test/run-pass/arith-1.rs
index bac6a055..55230e9e 100644
--- a/src/test/run-pass/arith-1.rs
+++ b/src/test/run-pass/arith-1.rs
@@ -1,22 +1,22 @@
 fn main() -> () {
     let int i32_a = 10;
-    check(i32_a == 10);
-    check(i32_a - 10 == 0);
-    check(i32_a / 10 == 1);
-    check(i32_a - 20 == -10);
-    check(i32_a << 10 == 10240);
-    check(i32_a << 16 == 655360);
-    check(i32_a * 16 == 160);
-    check(i32_a * i32_a * i32_a == 1000);
-    check(i32_a * i32_a * i32_a * i32_a == 10000);
-    check(((i32_a * i32_a) / i32_a) * i32_a == 100);
-    check(i32_a * (i32_a - 1) << 2 + i32_a == 368640);
+    assert (i32_a == 10);
+    assert (i32_a - 10 == 0);
+    assert (i32_a / 10 == 1);
+    assert (i32_a - 20 == -10);
+    assert (i32_a << 10 == 10240);
+    assert (i32_a << 16 == 655360);
+    assert (i32_a * 16 == 160);
+    assert (i32_a * i32_a * i32_a == 1000);
+    assert (i32_a * i32_a * i32_a * i32_a == 10000);
+    assert (((i32_a * i32_a) / i32_a) * i32_a == 100);
+    assert (i32_a * (i32_a - 1) << 2 + i32_a == 368640);
 
     let int i32_b = 0x10101010;
-    check(i32_b + 1 - 1 == i32_b);
-    check(i32_b << 1 == i32_b << 1);
-    check(i32_b >> 1 == i32_b >> 1);
-    check((i32_b & (i32_b << 1)) == 0);
+    assert (i32_b + 1 - 1 == i32_b);
+    assert (i32_b << 1 == i32_b << 1);
+    assert (i32_b >> 1 == i32_b >> 1);
+    assert ((i32_b & (i32_b << 1)) == 0);
     log ((i32_b | (i32_b << 1)));
-    check((i32_b | (i32_b << 1)) == 0x30303030);
+    assert ((i32_b | (i32_b << 1)) == 0x30303030);
 }
\ No newline at end of file