update for bool/char being checked at binops

Author: RalfJung

tests/compile-fail/invalid_bool.rs

@@ -1,4 +1,6 @@
 //ignore-test FIXME (do some basic validation of invariants for all values in flight)
+//This does currently not get caught becuase it compiles to SwitchInt, which
+//has no knowledge about data invariants.
 
 fn main() {
     let b = unsafe { std::mem::transmute::<u8, bool>(2) };

tests/compile-fail/invalid_bool2.rs

@@ -0,0 +1,4 @@
+fn main() {
+    let b = unsafe { std::mem::transmute::<u8, bool>(2) };
+    let _x = b == true; //~ ERROR invalid boolean value read
+}

tests/compile-fail/match_char.rs

@@ -1,11 +1,13 @@
 // ignore-test FIXME: we are not checking these things on match any more?
+//This does currently not get caught becuase it compiles to SwitchInt, which
+//has no knowledge about data invariants.
 
 fn main() {
     assert!(std::char::from_u32(-1_i32 as u32).is_none());
-    match unsafe { std::mem::transmute::<i32, char>(-1) } { //~ ERROR constant evaluation error
+    let _ = match unsafe { std::mem::transmute::<i32, char>(-1) } { //~ ERROR constant evaluation error
         //~^ NOTE tried to interpret an invalid 32-bit value as a char: 4294967295
-        'a' => {},
-        'b' => {},
-        _ => {},
-    }
+        'a' => {true},
+        'b' => {false},
+        _ => {true},
+    };
 }

tests/compile-fail/match_char2.rs

@@ -0,0 +1,5 @@
+fn main() {
+    assert!(std::char::from_u32(-1_i32 as u32).is_none());
+    let c = unsafe { std::mem::transmute::<i32, char>(-1) };
+    let _x = c == 'x'; //~ ERROR tried to interpret an invalid 32-bit value as a char
+}

tests/run-pass/bools.rs

@@ -25,4 +25,5 @@ fn main() {
     assert_eq!(if_false(), 0);
     assert_eq!(if_true(), 1);
     assert_eq!(match_bool(), 1);
+    assert_eq!(true == true, true);
 }