New upstream version 1.46.0~beta.2+dfsg1

[rustc.git] / src / test / ui / generic-associated-types / issue-62326-parameter-out-of-range.rs

diff --git a/src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.rs b/src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.rs
index 1a79dbf2279a0250f9e8922996b82610d5b142d5..404be59a36d9258b2da2fb91976e7ba41a0c8c64 100644 (file)
--- a/src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.rs
+++ b/src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.rs
@@ -1,11 +1,14 @@
 #![allow(incomplete_features)]
 #![feature(generic_associated_types)]
 
-// FIXME(generic-associated-types) Investigate why this doesn't compile.
+// check-pass
 
 trait Iterator {
     type Item<'a>: 'a;
-    //~^ ERROR the requirement `for<'a> <Self as Iterator>::Item<'a>: 'a` is not satisfied
+}
+
+impl Iterator for () {
+    type Item<'a> = &'a ();
 }
 
 fn main() {}