src/test/ui/const-generics/dont-evaluate-array-len-on-err-1.stderr

   1 error[E0277]: the trait bound `[Adt; _]: Foo` is not satisfied
   2   --> $DIR/dont-evaluate-array-len-on-err-1.rs:15:9
   3    |
   4 LL |         <[Adt; std::mem::size_of::<Self::Assoc>()] as Foo>::bar()
   5    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `[Adt; _]`
   6 ...
   7 LL |     fn bar() {}
   8    |     -------- required by `Foo::bar`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0277`.