src/test/ui/const-generics/issues/issue-67945-3.rs

   1 // Regression test for
   2 // https://github.com/rust-lang/rust/issues/67945#issuecomment-572617285
   3 // Make sure we don't emit an E0277 error.
   4
   5 // revisions: full min
   6 #![cfg_attr(full, feature(generic_const_exprs))]
   7 #![cfg_attr(full, allow(incomplete_features))]
   8
   9 struct Bug<S> { //[min]~ ERROR: parameter `S` is never used
  10     A: [(); { //[full]~ ERROR: overly complex generic constant
  11         let x: Option<S> = None;
  12         //[min]~^ ERROR: generic parameters may not be used in const operations
  13         0
  14     }],
  15 }
  16
  17 fn main() {}