src/tools/miri/tests/pass/bools.rs

   1 fn boolean() -> bool {
   2     true
   3 }
   4
   5 fn if_false() -> i64 {
   6     let c = false;
   7     if c { 1 } else { 0 }
   8 }
   9
  10 fn if_true() -> i64 {
  11     let c = true;
  12     if c { 1 } else { 0 }
  13 }
  14
  15 fn match_bool() -> i16 {
  16     let b = true;
  17     match b {
  18         true => 1,
  19         _ => 0,
  20     }
  21 }
  22
  23 fn main() {
  24     assert!(boolean());
  25     assert_eq!(if_false(), 0);
  26     assert_eq!(if_true(), 1);
  27     assert_eq!(match_bool(), 1);
  28     assert_eq!(true == true, true);
  29 }