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/utf8_chars.rs b/src/test/run-pass/utf8_chars.rs
index 08671093..07eaca19 100644
--- a/src/test/run-pass/utf8_chars.rs
+++ b/src/test/run-pass/utf8_chars.rs
@@ -9,25 +9,25 @@ fn main() {
   let vec[char] chs = vec('e', 'é', '€', 0x10000 as char);
   let str s = _str.from_chars(chs);
 
-  check(_str.byte_len(s) == 10u);
-  check(_str.char_len(s) == 4u);
-  check(_vec.len[char](_str.to_chars(s)) == 4u);
-  check(_str.eq(_str.from_chars(_str.to_chars(s)), s));
-  check(_str.char_at(s, 0u) == 'e');
-  check(_str.char_at(s, 1u) == 'é');
+  assert (_str.byte_len(s) == 10u);
+  assert (_str.char_len(s) == 4u);
+  assert (_vec.len[char](_str.to_chars(s)) == 4u);
+  assert (_str.eq(_str.from_chars(_str.to_chars(s)), s));
+  assert (_str.char_at(s, 0u) == 'e');
+  assert (_str.char_at(s, 1u) == 'é');
 
-  check(_str.is_utf8(_str.bytes(s)));
-  check(!_str.is_utf8(vec(0x80_u8)));
-  check(!_str.is_utf8(vec(0xc0_u8)));
-  check(!_str.is_utf8(vec(0xc0_u8, 0x10_u8)));
+  assert (_str.is_utf8(_str.bytes(s)));
+  assert (!_str.is_utf8(vec(0x80_u8)));
+  assert (!_str.is_utf8(vec(0xc0_u8)));
+  assert (!_str.is_utf8(vec(0xc0_u8, 0x10_u8)));
 
   auto stack = "a×c€";
-  check(_str.pop_char(stack) == '€');
-  check(_str.pop_char(stack) == 'c');
+  assert (_str.pop_char(stack) == '€');
+  assert (_str.pop_char(stack) == 'c');
   _str.push_char(stack, 'u');
-  check(_str.eq(stack, "a×u"));
-  check(_str.shift_char(stack) == 'a');
-  check(_str.shift_char(stack) == '×');
+  assert (_str.eq(stack, "a×u"));
+  assert (_str.shift_char(stack) == 'a');
+  assert (_str.shift_char(stack) == '×');
   _str.unshift_char(stack, 'ß');
-  check(_str.eq(stack, "ßu"));
+  assert (_str.eq(stack, "ßu"));
 }