tests/ui/consts/const-match-check.rs

   1 // revisions: matchck eval1 eval2
   2
   3 #[cfg(matchck)]
   4 const X: i32 = { let 0 = 0; 0 };
   5 //[matchck]~^ ERROR refutable pattern in local binding
   6
   7 #[cfg(matchck)]
   8 static Y: i32 = { let 0 = 0; 0 };
   9 //[matchck]~^ ERROR refutable pattern in local binding
  10
  11 #[cfg(matchck)]
  12 trait Bar {
  13     const X: i32 = { let 0 = 0; 0 };
  14     //[matchck]~^ ERROR refutable pattern in local binding
  15 }
  16
  17 #[cfg(matchck)]
  18 impl Bar for () {
  19     const X: i32 = { let 0 = 0; 0 };
  20     //[matchck]~^ ERROR refutable pattern in local binding
  21 }
  22
  23 #[cfg(eval1)]
  24 enum Foo {
  25     A = { let 0 = 0; 0 },
  26     //[eval1]~^ ERROR refutable pattern in local binding
  27 }
  28
  29 fn main() {
  30     #[cfg(eval2)]
  31     let x: [i32; { let 0 = 0; 0 }] = [];
  32     //[eval2]~^ ERROR refutable pattern in local binding
  33 }