summaryrefslogtreecommitdiffstats
path: root/tests/ui/resource-assign-is-not-copy.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/resource-assign-is-not-copy.rs')
-rw-r--r--tests/ui/resource-assign-is-not-copy.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/ui/resource-assign-is-not-copy.rs b/tests/ui/resource-assign-is-not-copy.rs
new file mode 100644
index 000000000..c1de139a9
--- /dev/null
+++ b/tests/ui/resource-assign-is-not-copy.rs
@@ -0,0 +1,33 @@
+// run-pass
+
+#![allow(non_camel_case_types)]
+use std::cell::Cell;
+
+#[derive(Debug)]
+struct r<'a> {
+ i: &'a Cell<isize>,
+}
+
+impl<'a> Drop for r<'a> {
+ fn drop(&mut self) {
+ self.i.set(self.i.get() + 1);
+ }
+}
+
+fn r(i: &Cell<isize>) -> r {
+ r {
+ i: i
+ }
+}
+
+pub fn main() {
+ let i = &Cell::new(0);
+ // Even though these look like copies, they are guaranteed not to be
+ {
+ let a = r(i);
+ let b = (a, 10);
+ let (c, _d) = b;
+ println!("{:?}", c);
+ }
+ assert_eq!(i.get(), 1);
+}