1 // Regression test for #69455: projection predicate was not satisfied.
2 // Compiler should indicate the correct location of the
3 // unsatisfied projection predicate
5 pub trait Test<Rhs = Self> {
8 fn test(self, rhs: Rhs) -> Self::Output;
11 impl Test<u32> for u64 {
14 fn test(self, other: u32) -> u64 {
19 impl Test<u64> for u64 {
22 fn test(self, other: u64) -> u64 {
28 let xs: Vec<u64> = vec![1, 2, 3];
29 println!("{}", 23u64.test(xs.iter().sum())); //~ ERROR: type annotations needed