1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// rust-lang/rust#22323: regression test demonstrating that NLL
// precisely tracks temporary destruction order.
// check-pass
fn main() {
let _s = construct().borrow().consume_borrowed();
}
fn construct() -> Value { Value }
pub struct Value;
impl Value {
fn borrow<'a>(&'a self) -> Borrowed<'a> { unimplemented!() }
}
pub struct Borrowed<'a> {
_inner: Guard<'a, Value>,
}
impl<'a> Borrowed<'a> {
fn consume_borrowed(self) -> String { unimplemented!() }
}
pub struct Guard<'a, T: ?Sized + 'a> {
_lock: &'a T,
}
impl<'a, T: ?Sized> Drop for Guard<'a, T> { fn drop(&mut self) {} }
|
