summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/issue-81365-11.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/issue-81365-11.rs')
-rw-r--r--src/test/ui/borrowck/issue-81365-11.rs32
1 files changed, 32 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/issue-81365-11.rs b/src/test/ui/borrowck/issue-81365-11.rs
new file mode 100644
index 000000000..6b558c65d
--- /dev/null
+++ b/src/test/ui/borrowck/issue-81365-11.rs
@@ -0,0 +1,32 @@
+use std::ops::{Deref, DerefMut};
+
+struct DerefTarget {
+ target_field: bool,
+}
+struct Container {
+ target: DerefTarget,
+ container_field: bool,
+}
+
+impl Deref for Container {
+ type Target = DerefTarget;
+ fn deref(&self) -> &Self::Target {
+ &self.target
+ }
+}
+
+impl DerefMut for Container {
+ fn deref_mut(&mut self) -> &mut Self::Target {
+ &mut self.target
+ }
+}
+
+impl Container {
+ fn bad_borrow(&mut self) {
+ let first = &mut self.target_field;
+ self.container_field = true; //~ ERROR E0506
+ first;
+ }
+}
+
+fn main() {}