error[E0284]: type annotations needed: cannot satisfy `>::Array == [u8; 3]` --> $DIR/issue-69683.rs:30:10 | LL | 0u16.foo(b); | ^^^ cannot satisfy `>::Array == [u8; 3]` error: aborting due to previous error For more information about this error, try `rustc --explain E0284`.