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

   1 error[E0277]: the trait bound `A<{_: usize}>: Bar<{_: usize}>` is not satisfied
   2   --> $DIR/unused-substs-1.rs:12:13
   3    |
   4 LL | / struct A<const N: usize>
   5 LL | | where
   6 LL | |     A<N>: Bar<N>;
   7    | |_________________- required by `A`
   8 ...
   9 LL |       let _ = A;
  10    |               ^ the trait `Bar<{_: usize}>` is not implemented for `A<{_: usize}>`
  11    |
  12    = help: the following implementations were found:
  13              <A<7_usize> as Bar<N>>
  14
  15 error: aborting due to previous error
  16
  17 For more information about this error, try `rustc --explain E0277`.