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

   1 #![feature(adt_const_params)]
   2 #![allow(incomplete_features)]
   3
   4 #[derive(PartialEq, Eq)]
   5 struct A;
   6
   7 struct B<const X: A>; // ok
   8
   9 struct C;
  10
  11 struct D<const X: C>; //~ ERROR `C` must be annotated with `#[derive(PartialEq, Eq)]`
  12
  13 fn main() {}