diff options
Diffstat (limited to 'src/test/ui/regions/regions-close-over-type-parameter-multiple.rs')
-rw-r--r-- | src/test/ui/regions/regions-close-over-type-parameter-multiple.rs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/regions/regions-close-over-type-parameter-multiple.rs b/src/test/ui/regions/regions-close-over-type-parameter-multiple.rs deleted file mode 100644 index e032a94c3..000000000 --- a/src/test/ui/regions/regions-close-over-type-parameter-multiple.rs +++ /dev/null @@ -1,24 +0,0 @@ -// Various tests where we over type parameters with multiple lifetime -// bounds. - -trait SomeTrait { fn get(&self) -> isize; } - - -fn make_object_good1<'a,'b,A:SomeTrait+'a+'b>(v: A) -> Box<dyn SomeTrait + 'a> { - // A outlives 'a AND 'b... - Box::new(v) as Box<dyn SomeTrait + 'a> // ...hence this type is safe. -} - -fn make_object_good2<'a,'b,A:SomeTrait+'a+'b>(v: A) -> Box<dyn SomeTrait + 'b> { - // A outlives 'a AND 'b... - Box::new(v) as Box<dyn SomeTrait + 'b> // ...hence this type is safe. -} - -fn make_object_bad<'a,'b,'c,A:SomeTrait+'a+'b>(v: A) -> Box<dyn SomeTrait + 'c> { - // A outlives 'a AND 'b...but not 'c. - Box::new(v) as Box<dyn SomeTrait + 'a> - //~^ ERROR lifetime may not live long enough -} - -fn main() { -} |