1 // rust-lang/rust#52059: Regardless of whether you are moving out of a
2 // Drop type or just introducing an inadvertent alias via a borrow of
3 // one of its fields, it is useful to be reminded of the significance
4 // of the fact that the type implements Drop.
9 pub struct S<'a> { url: &'a mut String }
11 impl<'a> Drop for S<'a> { fn drop(&mut self) { } }
13 fn finish_1(s: S) -> &mut String {
16 //~^^ ERROR borrow may still be in use when destructor runs
18 fn finish_2(s: S) -> &mut String {
19 let p = &mut *s.url; p
21 //~^^ ERROR borrow may still be in use when destructor runs
23 fn finish_3(s: S) -> &mut String {
24 let p: &mut _ = s.url; p
26 //~^^ ERROR borrow may still be in use when destructor runs
28 fn finish_4(s: S) -> &mut String {
31 //~^^ ERROR cannot move out of type `S<'_>`, which implements the `Drop` trait