error[E0423]: expected value, found type parameter `T`
  --> $DIR/issue-69654.rs:5:25
   |
LL | impl<T> Bar<T> for [u8; T] {}
   |      -                  ^ not a value
   |      |
   |      found this type parameter

error[E0599]: the function or associated item `foo` exists for struct `Foo<_>`, but its trait bounds were not satisfied
  --> $DIR/issue-69654.rs:17:10
   |
LL | struct Foo<const N: usize> {}
   | -------------------------- function or associated item `foo` not found for this struct
...
LL |     Foo::foo();
   |          ^^^ function or associated item cannot be called on `Foo<_>` due to unsatisfied trait bounds
   |
note: trait bound `[u8; _]: Bar<[(); _]>` was not satisfied
  --> $DIR/issue-69654.rs:11:14
   |
LL | impl<const N: usize> Foo<N>
   |                      ------
LL | where
LL |     [u8; N]: Bar<[(); N]>,
   |              ^^^^^^^^^^^^ unsatisfied trait bound introduced here

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0423, E0599.
For more information about an error, try `rustc --explain E0423`.