library/core/tests/bool.rs

   1 use core::cmp::Ordering::{Equal, Greater, Less};
   2 use core::ops::{BitAnd, BitOr, BitXor};
   3
   4 #[test]
   5 fn test_bool() {
   6     assert_eq!(false.eq(&true), false);
   7     assert_eq!(false == false, true);
   8     assert_eq!(false != true, true);
   9     assert_eq!(false.ne(&false), false);
  10
  11     assert_eq!(false.bitand(false), false);
  12     assert_eq!(true.bitand(false), false);
  13     assert_eq!(false.bitand(true), false);
  14     assert_eq!(true.bitand(true), true);
  15
  16     assert_eq!(false & false, false);
  17     assert_eq!(true & false, false);
  18     assert_eq!(false & true, false);
  19     assert_eq!(true & true, true);
  20
  21     assert_eq!(false.bitor(false), false);
  22     assert_eq!(true.bitor(false), true);
  23     assert_eq!(false.bitor(true), true);
  24     assert_eq!(true.bitor(true), true);
  25
  26     assert_eq!(false | false, false);
  27     assert_eq!(true | false, true);
  28     assert_eq!(false | true, true);
  29     assert_eq!(true | true, true);
  30
  31     assert_eq!(false.bitxor(false), false);
  32     assert_eq!(true.bitxor(false), true);
  33     assert_eq!(false.bitxor(true), true);
  34     assert_eq!(true.bitxor(true), false);
  35
  36     assert_eq!(false ^ false, false);
  37     assert_eq!(true ^ false, true);
  38     assert_eq!(false ^ true, true);
  39     assert_eq!(true ^ true, false);
  40
  41     assert_eq!(!true, false);
  42     assert_eq!(!false, true);
  43
  44     let s = false.to_string();
  45     assert_eq!(s, "false");
  46     let s = true.to_string();
  47     assert_eq!(s, "true");
  48
  49     assert!(true > false);
  50     assert!(!(false > true));
  51
  52     assert!(false < true);
  53     assert!(!(true < false));
  54
  55     assert!(false <= false);
  56     assert!(false >= false);
  57     assert!(true <= true);
  58     assert!(true >= true);
  59
  60     assert!(false <= true);
  61     assert!(!(false >= true));
  62     assert!(true >= false);
  63     assert!(!(true <= false));
  64
  65     assert_eq!(true.cmp(&true), Equal);
  66     assert_eq!(false.cmp(&false), Equal);
  67     assert_eq!(true.cmp(&false), Greater);
  68     assert_eq!(false.cmp(&true), Less);
  69 }
  70
  71 #[test]
  72 pub fn test_bool_not() {
  73     if !false {
  74         assert!((true));
  75     } else {
  76         assert!((false));
  77     }
  78     if !true {
  79         assert!((false));
  80     } else {
  81         assert!((true));
  82     }
  83 }
  84
  85 #[test]
  86 fn test_bool_to_option() {
  87     assert_eq!(false.then_some(0), None);
  88     assert_eq!(true.then_some(0), Some(0));
  89     assert_eq!(false.then(|| 0), None);
  90     assert_eq!(true.then(|| 0), Some(0));
  91
  92     const fn zero() -> i32 {
  93         0
  94     }
  95
  96     const A: Option<i32> = false.then_some(0);
  97     const B: Option<i32> = true.then_some(0);
  98     const C: Option<i32> = false.then(zero);
  99     const D: Option<i32> = true.then(zero);
 100
 101     assert_eq!(A, None);
 102     assert_eq!(B, Some(0));
 103     assert_eq!(C, None);
 104     assert_eq!(D, Some(0));
 105 }