summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/extended/lending_iterator_2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/extended/lending_iterator_2.rs')
-rw-r--r--src/test/ui/generic-associated-types/extended/lending_iterator_2.rs30
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/generic-associated-types/extended/lending_iterator_2.rs b/src/test/ui/generic-associated-types/extended/lending_iterator_2.rs
deleted file mode 100644
index eb9c0456a..000000000
--- a/src/test/ui/generic-associated-types/extended/lending_iterator_2.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-// revisions: base extended
-//[base] check-fail
-//[extended] check-pass
-
-#![cfg_attr(extended, feature(generic_associated_types_extended))]
-#![cfg_attr(extended, allow(incomplete_features))]
-
-pub trait FromLendingIterator<A>: Sized {
- fn from_iter<T: for<'x> LendingIterator<Item<'x> = A>>(iter: T) -> Self;
-}
-
-impl<A> FromLendingIterator<A> for Vec<A> {
- fn from_iter<I: for<'x> LendingIterator<Item<'x> = A>>(mut iter: I) -> Self {
- //[base]~^ impl has stricter
- let mut v = vec![];
- while let Some(item) = iter.next() {
- v.push(item);
- }
- v
- }
-}
-
-pub trait LendingIterator {
- type Item<'a>
- where
- Self: 'a;
- fn next(&mut self) -> Option<Self::Item<'_>>;
-}
-
-fn main() {}