| // revisions: ast mir | |
| //[mir]compile-flags: -Z borrowck=mir | |
| static buf: &mut [u8] = &mut [1u8,2,3,4,5,7]; //[ast]~ ERROR E0017 | |
| //[mir]~^ ERROR E0017 | |
| fn write<T: AsRef<[u8]>>(buffer: T) { } | |
| fn main() { | |
| write(&buf); | |
| buf[0]=2; //[ast]~ ERROR E0389 | |
| //[mir]~^ ERROR E0594 | |
| } |