1 error[E0423]: expected value, found type parameter `T`
2 --> $DIR/issue-69654.rs:5:25
4 LL | impl<T> Bar<T> for [u8; T] {}
7 | found this type parameter
9 error[E0599]: the function or associated item `foo` exists for struct `Foo<_>`, but its trait bounds were not satisfied
10 --> $DIR/issue-69654.rs:17:10
12 LL | struct Foo<const N: usize> {}
13 | -------------------------- function or associated item `foo` not found for this struct
16 | ^^^ function or associated item cannot be called on `Foo<_>` due to unsatisfied trait bounds
18 = note: the following trait bounds were not satisfied:
19 `[u8; _]: Bar<[(); _]>`
21 error: aborting due to 2 previous errors
23 Some errors have detailed explanations: E0423, E0599.
24 For more information about an error, try `rustc --explain E0423`.