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

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

1 files changed, 9 insertions, 9 deletions

diff --git a/src/test/run-pass/expr-if.rs b/src/test/run-pass/expr-if.rs
index 7c99f2ea..67f56746 100644
--- a/src/test/run-pass/expr-if.rs
+++ b/src/test/run-pass/expr-if.rs
@@ -5,12 +5,12 @@
 
 fn test_if() {
   let bool res = if (true) { true } else { false };
-  check (res);
+  assert (res);
 }
 
 fn test_else() {
   let bool res = if (false) { false } else { true };
-  check (res);
+  assert (res);
 }
 
 fn test_elseif1() {
@@ -21,7 +21,7 @@ fn test_elseif1() {
   } else {
     false
   };
-  check (res);
+  assert (res);
 }
 
 fn test_elseif2() {
@@ -32,7 +32,7 @@ fn test_elseif2() {
   } else {
     false
   };
-  check (res);
+  assert (res);
 }
 
 fn test_elseif3() {
@@ -43,12 +43,12 @@ fn test_elseif3() {
   } else {
     true
   };
-  check (res);
+  assert (res);
 }
 
 fn test_inferrence() {
   auto res = if (true) { true } else { false };
-  check (res);
+  assert (res);
 }
 
 fn test_if_as_if_condition() {
@@ -57,14 +57,14 @@ fn test_if_as_if_condition() {
   } else {
     false
   };
-  check (res1);
+  assert (res1);
 
   auto res2 = if (if (true) { false } else { true }) {
     false
   } else {
     true
   };
-  check (res2);
+  assert (res2);
 }
 
 fn test_if_as_block_result() {
@@ -77,7 +77,7 @@ fn test_if_as_block_result() {
   } else {
     false
   };
-  check (res);
+  assert (res);
 }
 
 fn main() {