src/test/ui/const-generics/occurs-check/unused-substs-1.rs

   1 #![feature(const_generics)]
   2 #![allow(incomplete_features)]
   3
   4 trait Bar<const M: usize> {}
   5 impl<const N: usize> Bar<N> for A<{ 6 + 1 }> {}
   6
   7 struct A<const N: usize>
   8 where
   9     A<N>: Bar<N>;
  10
  11 fn main() {
  12     let _ = A; //~ERROR the trait bound
  13 }