summaryrefslogtreecommitdiffstats
path: root/src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs')
-rw-r--r--src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs b/src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs
new file mode 100644
index 000000000..e4436260e
--- /dev/null
+++ b/src/test/ui/typeck/issue-68590-reborrow-through-derefmut.rs
@@ -0,0 +1,25 @@
+// check-pass
+
+// rust-lang/rust#68590: confusing diagnostics when reborrowing through DerefMut.
+
+use std::cell::RefCell;
+
+struct A;
+
+struct S<'a> {
+ a: &'a mut A,
+}
+
+fn take_a(_: &mut A) {}
+
+fn test<'a>(s: &RefCell<S<'a>>) {
+ let mut guard = s.borrow_mut();
+ take_a(guard.a);
+ let _s2 = S { a: guard.a };
+}
+
+fn main() {
+ let a = &mut A;
+ let s = RefCell::new(S { a });
+ test(&s);
+}