And fix the UI tests that also had their error optimized out

Author: scottmcm

tests/ui/limits/huge-array-simple-32.rs

@@ -1,6 +1,9 @@
 //@ ignore-64bit
 //@ build-fail
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 #![allow(arithmetic_overflow)]
 
 fn main() {

tests/ui/limits/huge-array-simple-32.stderr

@@ -1,5 +1,5 @@
 error: values of the type `[u8; 2147516416]` are too big for the current architecture
-  --> $DIR/huge-array-simple-32.rs:7:9
+  --> $DIR/huge-array-simple-32.rs:10:9
    |
 LL |     let _fat: [u8; (1<<31)+(1<<15)] =
    |         ^^^^

tests/ui/limits/huge-array-simple-64.rs

@@ -1,6 +1,9 @@
 //@ build-fail
 //@ ignore-32bit
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 #![allow(arithmetic_overflow)]
 
 fn main() {

tests/ui/limits/huge-array-simple-64.stderr

@@ -1,5 +1,5 @@
 error: values of the type `[u8; 2305843011361177600]` are too big for the current architecture
-  --> $DIR/huge-array-simple-64.rs:7:9
+  --> $DIR/huge-array-simple-64.rs:10:9
    |
 LL |     let _fat: [u8; (1<<61)+(1<<31)] =
    |         ^^^^

tests/ui/limits/huge-array.rs

@@ -1,5 +1,8 @@
 //@ build-fail
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 fn generic<T: Copy>(t: T) {
     let s: [T; 1518600000] = [t; 1518600000];
     //~^ ERROR values of the type `[[u8; 1518599999]; 1518600000]` are too big

tests/ui/limits/huge-array.stderr

@@ -1,5 +1,5 @@
 error: values of the type `[[u8; 1518599999]; 1518600000]` are too big for the current architecture
-  --> $DIR/huge-array.rs:4:9
+  --> $DIR/huge-array.rs:7:9
    |
 LL |     let s: [T; 1518600000] = [t; 1518600000];
    |         ^

tests/ui/limits/huge-enum.rs

@@ -2,6 +2,9 @@
 //@ normalize-stderr-test: "std::option::Option<\[u32; \d+\]>" -> "TYPE"
 //@ normalize-stderr-test: "\[u32; \d+\]" -> "TYPE"
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 #[cfg(target_pointer_width = "32")]
 type BIG = Option<[u32; (1<<29)-1]>;
 

tests/ui/limits/huge-enum.stderr

@@ -1,5 +1,5 @@
 error: values of the type `Option<TYPE>` are too big for the current architecture
-  --> $DIR/huge-enum.rs:12:9
+  --> $DIR/huge-enum.rs:15:9
    |
 LL |     let big: BIG = None;
    |         ^^^

tests/ui/limits/huge-struct.rs

@@ -3,6 +3,9 @@
 //@ normalize-stderr-test: "S1M" -> "SXX"
 //@ error-pattern: too big for the current
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 struct S32<T> {
     v0: T,
     v1: T,

tests/ui/limits/huge-struct.stderr

@@ -1,5 +1,5 @@
 error: values of the type `SXX<SXX<SXX<u32>>>` are too big for the current architecture
-  --> $DIR/huge-struct.rs:46:9
+  --> $DIR/huge-struct.rs:49:9
    |
 LL |     let fat: Option<SXX<SXX<SXX<u32>>>> = None;
    |         ^^^

tests/ui/limits/issue-15919-32.rs

@@ -1,6 +1,9 @@
 //@ ignore-64bit
 //@ build-fail
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 fn main() {
     let x = [0usize; 0xffff_ffff]; //~ ERROR too big
 }

tests/ui/limits/issue-15919-32.stderr

@@ -1,5 +1,5 @@
 error: values of the type `[usize; usize::MAX]` are too big for the current architecture
-  --> $DIR/issue-15919-32.rs:5:9
+  --> $DIR/issue-15919-32.rs:8:9
    |
 LL |     let x = [0usize; 0xffff_ffff];
    |         ^

tests/ui/limits/issue-15919-64.rs

@@ -1,6 +1,9 @@
 //@ build-fail
 //@ ignore-32bit
 
+//@ compile-flags: -Z mir-opt-level=0
+// (The optimizations would remove the values on which this errors.)
+
 fn main() {
     let x = [0usize; 0xffff_ffff_ffff_ffff]; //~ ERROR too big
 }

tests/ui/limits/issue-15919-64.stderr

@@ -1,5 +1,5 @@
 error: values of the type `[usize; usize::MAX]` are too big for the current architecture
-  --> $DIR/issue-15919-64.rs:5:9
+  --> $DIR/issue-15919-64.rs:8:9
    |
 LL |     let x = [0usize; 0xffff_ffff_ffff_ffff];
    |         ^