summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs')
-rw-r--r--src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs40
1 files changed, 0 insertions, 40 deletions
diff --git a/src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs b/src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs
deleted file mode 100644
index a10a0366a..000000000
--- a/src/test/ui/nll/ty-outlives/projection-no-regions-fn.rs
+++ /dev/null
@@ -1,40 +0,0 @@
-// compile-flags:-Zverbose
-
-#![allow(warnings)]
-
-trait Anything { }
-
-impl<T> Anything for T { }
-
-fn no_region<'a, T>(mut x: T) -> Box<dyn Anything + 'a>
-where
- T: Iterator,
-{
- Box::new(x.next())
- //~^ ERROR the associated type `<T as Iterator>::Item` may not live long enough
-}
-
-fn correct_region<'a, T>(mut x: T) -> Box<dyn Anything + 'a>
-where
- T: 'a + Iterator,
-{
- Box::new(x.next())
-}
-
-fn wrong_region<'a, 'b, T>(mut x: T) -> Box<dyn Anything + 'a>
-where
- T: 'b + Iterator,
-{
- Box::new(x.next())
- //~^ ERROR the associated type `<T as Iterator>::Item` may not live long enough
-}
-
-fn outlives_region<'a, 'b, T>(mut x: T) -> Box<dyn Anything + 'a>
-where
- T: 'b + Iterator,
- 'b: 'a,
-{
- Box::new(x.next())
-}
-
-fn main() {}