os-rust/src/test/ui/issues/issue-69683.stderr

error[E0284]: type annotations needed: cannot satisfy `<u8 as Element<_>>::Array == [u8; 3]`
  --> $DIR/issue-69683.rs:30:10
   |
LL |     0u16.foo(b);
   |          ^^^ cannot satisfy `<u8 as Element<_>>::Array == [u8; 3]`

error[E0283]: type annotations needed
  --> $DIR/issue-69683.rs:30:10
   |
LL |     0u16.foo(b);
   |          ^^^ cannot infer type for type parameter `I` declared on the trait `Foo`
   |
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

error: aborting due to 2 previous errors

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