2019-07-26 23:54:25 +02:00
|
|
|
// run-pass
|
|
|
|
|
2018-09-14 12:20:28 +02:00
|
|
|
#![allow(non_camel_case_types)]
|
2014-01-01 00:46:27 +01:00
|
|
|
use std::cell::Cell;
|
|
|
|
|
2015-01-28 14:34:18 +01:00
|
|
|
#[derive(Debug)]
|
2014-10-02 07:10:09 +02:00
|
|
|
struct r<'a> {
|
2015-03-26 01:06:52 +01:00
|
|
|
i: &'a Cell<isize>,
|
2012-11-14 07:22:37 +01:00
|
|
|
}
|
|
|
|
|
2014-10-02 07:10:09 +02:00
|
|
|
impl<'a> Drop for r<'a> {
|
2013-09-17 03:18:07 +02:00
|
|
|
fn drop(&mut self) {
|
2014-01-01 00:46:27 +01:00
|
|
|
self.i.set(self.i.get() + 1);
|
2012-11-14 07:22:37 +01:00
|
|
|
}
|
2012-05-16 05:33:59 +02:00
|
|
|
}
|
2011-09-28 07:40:15 +02:00
|
|
|
|
2015-03-26 01:06:52 +01:00
|
|
|
fn r(i: &Cell<isize>) -> r {
|
2012-09-06 00:58:43 +02:00
|
|
|
r {
|
|
|
|
i: i
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-02 04:43:17 +01:00
|
|
|
pub fn main() {
|
2015-01-25 22:05:03 +01:00
|
|
|
let i = &Cell::new(0);
|
2011-11-18 16:15:46 +01:00
|
|
|
// Even though these look like copies, they are guaranteed not to be
|
|
|
|
{
|
|
|
|
let a = r(i);
|
2015-01-25 22:05:03 +01:00
|
|
|
let b = (a, 10);
|
2013-02-15 11:44:18 +01:00
|
|
|
let (c, _d) = b;
|
2014-12-20 09:09:35 +01:00
|
|
|
println!("{:?}", c);
|
2011-11-18 16:15:46 +01:00
|
|
|
}
|
2014-01-01 00:46:27 +01:00
|
|
|
assert_eq!(i.get(), 1);
|
2011-11-18 16:15:46 +01:00
|
|
|
}
|