diff options
Diffstat (limited to 'src/test/ui/issues/issue-69455.rs')
-rw-r--r-- | src/test/ui/issues/issue-69455.rs | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/issues/issue-69455.rs b/src/test/ui/issues/issue-69455.rs deleted file mode 100644 index a53aadcfa..000000000 --- a/src/test/ui/issues/issue-69455.rs +++ /dev/null @@ -1,31 +0,0 @@ -// Regression test for #69455: projection predicate was not satisfied. -// Compiler should indicate the correct location of the -// unsatisfied projection predicate - -pub trait Test<Rhs = Self> { - type Output; - - fn test(self, rhs: Rhs) -> Self::Output; -} - -impl Test<u32> for u64 { - type Output = u64; - - fn test(self, other: u32) -> u64 { - self + (other as u64) - } -} - -impl Test<u64> for u64 { - type Output = u64; - - fn test(self, other: u64) -> u64 { - (self + other) as u64 - } -} - -fn main() { - let xs: Vec<u64> = vec![1, 2, 3]; - println!("{}", 23u64.test(xs.iter().sum())); //~ ERROR: type annotations needed - //~^ ERROR type annotations needed -} |