diff options
Diffstat (limited to 'src/test/ui/regions/regions-close-over-type-parameter-multiple.stderr')
| -rw-r--r-- | src/test/ui/regions/regions-close-over-type-parameter-multiple.stderr | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-close-over-type-parameter-multiple.stderr b/src/test/ui/regions/regions-close-over-type-parameter-multiple.stderr new file mode 100644 index 000000000..baa0506d0 --- /dev/null +++ b/src/test/ui/regions/regions-close-over-type-parameter-multiple.stderr @@ -0,0 +1,15 @@ +error: lifetime may not live long enough + --> $DIR/regions-close-over-type-parameter-multiple.rs:19:5 + | +LL | fn make_object_bad<'a,'b,'c,A:SomeTrait+'a+'b>(v: A) -> Box<dyn SomeTrait + 'c> { + | -- -- lifetime `'c` defined here + | | + | lifetime `'a` defined here +LL | // A outlives 'a AND 'b...but not 'c. +LL | Box::new(v) as Box<dyn SomeTrait + 'a> + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function was supposed to return data with lifetime `'c` but it is returning data with lifetime `'a` + | + = help: consider adding the following bound: `'a: 'c` + +error: aborting due to previous error + |