src/test/ui/borrowck/borrowck-imm-ref-to-mut-rec-field-issue-3162-c.rs

   1 // revisions: ast mir
   2 //[mir]compile-flags: -Z borrowck=mir
   3
   4 fn main() {
   5     let mut _a = 3;
   6     let b = &mut _a;
   7     {
   8         let c = &*b;
   9         _a = 4; //[ast]~ ERROR cannot assign to `_a`
  10         //[mir]~^ ERROR cannot assign to `_a` because it is borrowed
  11         drop(c);
  12     }
  13     drop(b);
  14 }