summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/issue-31567.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/issue-31567.stderr')
-rw-r--r--src/test/ui/nll/issue-31567.stderr16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/nll/issue-31567.stderr b/src/test/ui/nll/issue-31567.stderr
new file mode 100644
index 000000000..7d43383e8
--- /dev/null
+++ b/src/test/ui/nll/issue-31567.stderr
@@ -0,0 +1,16 @@
+error[E0713]: borrow may still be in use when destructor runs
+ --> $DIR/issue-31567.rs:10:26
+ |
+LL | fn get_dangling<'a>(v: VecWrapper<'a>) -> &'a u32 {
+ | -- lifetime `'a` defined here
+LL | let s_inner: &'a S = &*v.0;
+ | ----- ^^^^^
+ | |
+ | type annotation requires that `*v.0` is borrowed for `'a`
+LL | &s_inner.0
+LL | }
+ | - here, drop of `v` needs exclusive access to `*v.0`, because the type `VecWrapper<'_>` implements the `Drop` trait
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0713`.