src/test/ui/half-open-range-patterns/half-open-range-pats-exhaustive-pass.rs

   1 // check-pass
   2
   3 // Test various exhaustive matches for `X..`, `..=X` and `..X` ranges.
   4
   5 #![feature(half_open_range_patterns)]
   6 #![feature(exclusive_range_pattern)]
   7
   8 fn main() {}
   9
  10 macro_rules! m {
  11     ($s:expr, $($t:tt)+) => {
  12         match $s { $($t)+ => {} }
  13     }
  14 }
  15
  16 macro_rules! test_int {
  17     ($s:expr, $min:path, $max:path) => {
  18         m!($s, $min..);
  19         m!($s, $min..5 | 5..);
  20         m!($s, ..5 | 5..);
  21         m!($s, ..=4 | 5..);
  22         m!($s, ..=$max);
  23         m!($s, ..$max | $max);
  24         m!(($s, true), (..5, true) | (5.., true) | ($min.., false));
  25     }
  26 }
  27
  28 fn unsigned_int() {
  29     test_int!(0u8, core::u8::MIN, core::u8::MAX);
  30     test_int!(0u16, core::u16::MIN, core::u16::MAX);
  31     test_int!(0u32, core::u32::MIN, core::u32::MAX);
  32     test_int!(0u64, core::u64::MIN, core::u64::MAX);
  33     test_int!(0u128, core::u128::MIN, core::u128::MAX);
  34 }
  35
  36 fn signed_int() {
  37     test_int!(0i8, core::i8::MIN, core::i8::MAX);
  38     test_int!(0i16, core::i16::MIN, core::i16::MAX);
  39     test_int!(0i32, core::i32::MIN, core::i32::MAX);
  40     test_int!(0i64, core::i64::MIN, core::i64::MAX);
  41     test_int!(0i128, core::i128::MIN, core::i128::MAX);
  42 }
  43
  44 fn khar() {
  45     m!('a', ..=core::char::MAX);
  46     m!('a', '\u{0}'..);
  47     m!('a', ..='\u{D7FF}' | '\u{E000}'..);
  48     m!('a', ..'\u{D7FF}' | '\u{D7FF}' | '\u{E000}'..);
  49 }