src/test/ui/nll/loan_ends_mid_block_vec.rs

   1 // compile-flags:-Zborrowck=compare
   2
   3 #![allow(warnings)]
   4 #![feature(rustc_attrs)]
   5
   6 fn main() {
   7 }
   8
   9 fn nll_fail() {
  10     let mut data = vec!['a', 'b', 'c'];
  11     let slice = &mut data;
  12     capitalize(slice);
  13     data.push('d');
  14     //~^ ERROR (Ast) [E0499]
  15     //~| ERROR (Mir) [E0499]
  16     data.push('e');
  17     //~^ ERROR (Ast) [E0499]
  18     //~| ERROR (Mir) [E0499]
  19     data.push('f');
  20     //~^ ERROR (Ast) [E0499]
  21     //~| ERROR (Mir) [E0499]
  22     capitalize(slice);
  23 }
  24
  25 fn nll_ok() {
  26     let mut data = vec!['a', 'b', 'c'];
  27     let slice = &mut data;
  28     capitalize(slice);
  29     data.push('d');
  30     //~^ ERROR (Ast) [E0499]
  31     data.push('e');
  32     //~^ ERROR (Ast) [E0499]
  33     data.push('f');
  34     //~^ ERROR (Ast) [E0499]
  35 }
  36
  37 fn capitalize(_: &mut [char]) {
  38 }