1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/nll/guarantor-issue-46974.rs b/tests/ui/nll/guarantor-issue-46974.rs
new file mode 100644
index 000000000..96af4bf5c
--- /dev/null
+++ b/tests/ui/nll/guarantor-issue-46974.rs
@@ -0,0 +1,19 @@
+// Test that NLL analysis propagates lifetimes correctly through
+// field accesses, Box accesses, etc.
+
+fn foo(s: &mut (i32,)) -> i32 {
+    let t = &mut *s; // this borrow should last for the entire function
+    let x = &t.0;
+    *s = (2,); //~ ERROR cannot assign to `*s`
+    *x
+}
+
+fn bar(s: &Box<(i32,)>) -> &'static i32 {
+    // FIXME(#46983): error message should be better
+    &s.0 //~ ERROR lifetime may not live long enough
+}
+
+fn main() {
+    foo(&mut (0,));
+    bar(&Box::new((1,)));
+}