// option. This file may not be copied, modified, or distributed
// except according to those terms.
+// revisions: ast mir
+//[mir]compile-flags: -Zborrowck-mir
+
struct NonCopy;
fn main() {
let array = [NonCopy; 1];
- let _value = array[0]; //~ ERROR E0508
+ let _value = array[0]; //[ast]~ ERROR E0508
+ //[mir]~^ ERROR (Ast) [E0508]
+ //[mir]~| ERROR (Mir) [E0508]
}