diff options
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.rs | 40 |
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() {} |