| error[E0283]: type annotations needed |
| --> $DIR/issue-83249.rs:19:9 |
| | |
| LL | let _ = foo([0; 1]); |
| | ^ --- ------ type must be known at this point |
| | | |
| | required by a bound introduced by this call |
| | |
| = note: the type must implement `Foo` |
| help: the trait `Foo` is implemented for `u8` |
| --> $DIR/issue-83249.rs:8:1 |
| | |
| LL | impl Foo for u8 { |
| | ^^^^^^^^^^^^^^^ |
| note: required by a bound in `foo` |
| --> $DIR/issue-83249.rs:12:11 |
| | |
| LL | fn foo<T: Foo>(_: [u8; T::N]) -> T { |
| | ^^^ required by this bound in `foo` |
| help: consider giving this pattern a type, where the type for type parameter `T` is specified |
| | |
| LL | let _: u8 = foo([0; 1]); |
| | ++++ |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0283`. |
