src/test/ui/half-open-range-patterns/half-open-range-pats-thir-lower-empty.rs

   1 #![feature(half_open_range_patterns)]
   2 #![feature(exclusive_range_pattern)]
   3 #![allow(illegal_floating_point_literal_pattern)]
   4
   5 macro_rules! m {
   6     ($s:expr, $($t:tt)+) => {
   7         match $s { $($t)+ => {} }
   8     }
   9 }
  10
  11 fn main() {
  12     m!(0, ..u8::MIN);
  13     //~^ ERROR lower range bound must be less than upper
  14     //~| ERROR lower range bound must be less than upper
  15     m!(0, ..u16::MIN);
  16     //~^ ERROR lower range bound must be less than upper
  17     //~| ERROR lower range bound must be less than upper
  18     m!(0, ..u32::MIN);
  19     //~^ ERROR lower range bound must be less than upper
  20     //~| ERROR lower range bound must be less than upper
  21     m!(0, ..u64::MIN);
  22     //~^ ERROR lower range bound must be less than upper
  23     //~| ERROR lower range bound must be less than upper
  24     m!(0, ..u128::MIN);
  25     //~^ ERROR lower range bound must be less than upper
  26     //~| ERROR lower range bound must be less than upper
  27
  28     m!(0, ..i8::MIN);
  29     //~^ ERROR lower range bound must be less than upper
  30     //~| ERROR lower range bound must be less than upper
  31     m!(0, ..i16::MIN);
  32     //~^ ERROR lower range bound must be less than upper
  33     //~| ERROR lower range bound must be less than upper
  34     m!(0, ..i32::MIN);
  35     //~^ ERROR lower range bound must be less than upper
  36     //~| ERROR lower range bound must be less than upper
  37     m!(0, ..i64::MIN);
  38     //~^ ERROR lower range bound must be less than upper
  39     //~| ERROR lower range bound must be less than upper
  40     m!(0, ..i128::MIN);
  41     //~^ ERROR lower range bound must be less than upper
  42     //~| ERROR lower range bound must be less than upper
  43
  44     m!(0f32, ..f32::NEG_INFINITY);
  45     //~^ ERROR lower range bound must be less than upper
  46     //~| ERROR lower range bound must be less than upper
  47     m!(0f64, ..f64::NEG_INFINITY);
  48     //~^ ERROR lower range bound must be less than upper
  49     //~| ERROR lower range bound must be less than upper
  50
  51     m!('a', ..'\u{0}');
  52     //~^ ERROR lower range bound must be less than upper
  53     //~| ERROR lower range bound must be less than upper
  54 }