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
   6 #[derive(PartialEq, Eq)]
   7 struct A;
   8
   9 struct B<const X: A>; // ok
  10 //[min]~^ ERROR `A` is forbidden
  11
  12 struct C;
  13
  14 struct D<const X: C>; //~ ERROR `C` must be annotated with `#[derive(PartialEq, Eq)]`
  15 //[min]~^ ERROR `C` is forbidden
  16
  17 fn main() {}