summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-69455.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-69455.rs')
-rw-r--r--src/test/ui/issues/issue-69455.rs31
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
-}