// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// error-pattern:remainder zero
+// ignore-pretty : (#23623) problems when ending with // comments
+
+// error-pattern:attempted remainder with a divisor of zero
+
+#![feature(rustc_attrs)]
+#[rustc_no_mir] // FIXME #29769 MIR overflow checking is TBD.
fn main() {
let y = 0;
- let z = 1 % y;
+ let _z = 1 % y;
}