src/test/ui/const-generics/forbid-non-structural_match-types.rs

   1 // revisions: full min
   2
   3 #![cfg_attr(full, feature(const_generics))]
   4 #![cfg_attr(full, allow(incomplete_features))]
   5 #![cfg_attr(min, feature(min_const_generics))]
   6
   7 #[derive(PartialEq, Eq)]
   8 struct A;
   9
  10 struct B<const X: A>; // ok
  11 //[min]~^ ERROR `A` is forbidden
  12
  13 struct C;
  14
  15 struct D<const X: C>; //~ ERROR `C` must be annotated with `#[derive(PartialEq, Eq)]`
  16 //[min]~^ ERROR `C` is forbidden
  17
  18 fn main() {}