LL | let _array: [u32; <A as Foo>::Y];
| ^^^^^^^^^^^^^ the trait `Foo` is not implemented for `A`
|
- = help: consider adding a `where A: Foo` bound
+help: consider further restricting this bound with `+ Foo`
+ --> $DIR/associated-const-type-parameter-arrays.rs:15:16
+ |
+LL | pub fn test<A: Foo, B: Foo>() {
+ | ^^^
error: aborting due to previous error