1 error[E0284]: type annotations needed: cannot satisfy `<u64 as Test<_>>::Output == _`
2 --> $DIR/issue-69455.rs:29:26
4 LL | println!("{}", 23u64.test(xs.iter().sum()));
5 | ^^^^ cannot satisfy `<u64 as Test<_>>::Output == _`
7 error[E0283]: type annotations needed
8 --> $DIR/issue-69455.rs:29:26
10 LL | println!("{}", 23u64.test(xs.iter().sum()));
11 | ^^^^ cannot infer type for type parameter `Rhs` declared on the trait `Test`
13 note: multiple `impl`s satisfying `u64: Test<_>` found
14 --> $DIR/issue-69455.rs:11:1
16 LL | impl Test<u32> for u64 {
17 | ^^^^^^^^^^^^^^^^^^^^^^
19 LL | impl Test<u64> for u64 {
20 | ^^^^^^^^^^^^^^^^^^^^^^
21 help: consider specifying the type argument in the method call
23 LL | println!("{}", 23u64.test(xs.iter().sum::<S>()));
26 error: aborting due to 2 previous errors
28 Some errors have detailed explanations: E0283, E0284.
29 For more information about an error, try `rustc --explain E0283`.