src/test/ui/half-open-range-patterns/half-open-range-pats-inclusive-dotdotdot-bad-syntax.rs

   1 // Test that `...X` range-to patterns are syntactically invalid.
   2 //
   3 // See https://github.com/rust-lang/rust/pull/67258#issuecomment-565656155
   4 // for the reason why. To summarize, we might want to introduce `...expr` as
   5 // an expression form for splatting (or "untupling") in an expression context.
   6 // While there is no syntactic ambiguity with `...X` in a pattern context,
   7 // there's a potential confusion factor here, and we would prefer to keep patterns
   8 // and expressions in-sync. As such, we do not allow `...X` in patterns either.
   9
  10 fn main() {}
  11
  12 #[cfg(FALSE)]
  13 fn syntax() {
  14     match scrutinee {
  15         ...X => {} //~ ERROR range-to patterns with `...` are not allowed
  16         ...0 => {} //~ ERROR range-to patterns with `...` are not allowed
  17         ...'a' => {} //~ ERROR range-to patterns with `...` are not allowed
  18         ...0.0f32 => {} //~ ERROR range-to patterns with `...` are not allowed
  19     }
  20 }
  21
  22 fn syntax2() {
  23     macro_rules! mac {
  24         ($e:expr) => {
  25             let ...$e; //~ ERROR range-to patterns with `...` are not allowed
  26         }
  27     }
  28
  29     mac!(0);
  30 }