1 error[E0284]: type annotations needed: cannot satisfy `<u8 as Element<_>>::Array == [u8; 3]`
2 --> $DIR/issue-69683.rs:30:10
5 | ^^^ cannot satisfy `<u8 as Element<_>>::Array == [u8; 3]`
7 error[E0283]: type annotations needed
8 --> $DIR/issue-69683.rs:30:10
13 note: multiple `impl`s satisfying `u8: Element<_>` found
14 --> $DIR/issue-69683.rs:5:1
16 LL | impl<T> Element<()> for T {
17 | ^^^^^^^^^^^^^^^^^^^^^^^^^
19 LL | impl<T: Element<S>, S> Element<[S; 3]> for T {
20 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
21 note: required by a bound in `Foo::foo`
22 --> $DIR/issue-69683.rs:15:9
25 | ^^^^^^^^^^ required by this bound in `Foo::foo`
27 LL | fn foo(self, x: <u8 as Element<I>>::Array);
28 | --- required by a bound in this
29 help: try using a fully qualified path to specify the expected types
31 LL | <u16 as Foo<I>>::foo(0u16, b);
32 | +++++++++++++++++++++ ~
34 error: aborting due to 2 previous errors
36 Some errors have detailed explanations: E0283, E0284.
37 For more information about an error, try `rustc --explain E0283`.