error[E0284]: type annotations needed
  --> $DIR/issue-69683.rs:30:10
   |
LL |     0u16.foo(b);
   |          ^^^
   |
   = note: cannot satisfy `<u8 as Element<_>>::Array == [u8; 3]`
help: try using a fully qualified path to specify the expected types
   |
LL |     <u16 as Foo<I>>::foo(0u16, b);
   |     +++++++++++++++++++++    ~

error[E0283]: type annotations needed
  --> $DIR/issue-69683.rs:30:10
   |
LL |     0u16.foo(b);
   |          ^^^
   |
note: multiple `impl`s satisfying `u8: Element<_>` found
  --> $DIR/issue-69683.rs:5:1
   |
LL | impl<T> Element<()> for T {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
...
LL | impl<T: Element<S>, S> Element<[S; 3]> for T {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: required by a bound in `Foo::foo`
  --> $DIR/issue-69683.rs:15:9
   |
LL |     u8: Element<I>,
   |         ^^^^^^^^^^ required by this bound in `Foo::foo`
LL | {
LL |     fn foo(self, x: <u8 as Element<I>>::Array);
   |        --- required by a bound in this associated function
help: try using a fully qualified path to specify the expected types
   |
LL |     <u16 as Foo<I>>::foo(0u16, b);
   |     +++++++++++++++++++++    ~

error: aborting due to 2 previous errors

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