]>
Commit | Line | Data |
---|---|---|
3b2f2976 | 1 | // ensure borrowck messages are correct outside special case |
83c7162d XL |
2 | #![feature(rustc_attrs)] |
3 | fn main() { #![rustc_error] // rust-lang/rust#49855 | |
3b2f2976 XL |
4 | let mut void = (); |
5 | ||
6 | let first = &mut void; | |
ff7c6d11 | 7 | let second = &mut void; //~ ERROR cannot borrow |
94b46f34 XL |
8 | first.use_mut(); |
9 | second.use_mut(); | |
3b2f2976 XL |
10 | |
11 | loop { | |
12 | let mut inner_void = (); | |
13 | ||
14 | let inner_first = &mut inner_void; | |
ff7c6d11 | 15 | let inner_second = &mut inner_void; //~ ERROR cannot borrow |
94b46f34 XL |
16 | inner_second.use_mut(); |
17 | inner_first.use_mut(); | |
3b2f2976 | 18 | } |
223e47cc | 19 | } |
3b2f2976 | 20 | |
94b46f34 XL |
21 | trait Fake { fn use_mut(&mut self) { } fn use_ref(&self) { } } |
22 | impl<T> Fake for T { } |