make output bitwidth-independent

RalfJung · RalfJung · commit c4a094987f7d · 2022-06-06T12:33:48.000-04:00
diff --git a/tests/fail/transmute_fat1.rs b/tests/fail/transmute_fat1.rs
@@ -1,4 +1,5 @@
 // error-pattern: type validation failed: encountered a pointer
+// normalize-stderr-test: "\[u8; (8|16)\]" -> "$$ARRAY"
 
 fn main() {
     #[cfg(target_pointer_width="64")]
diff --git a/tests/fail/transmute_fat1.stderr b/tests/fail/transmute_fat1.stderr
@@ -1,7 +1,7 @@
 error: Undefined Behavior: type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
   --> $DIR/transmute_fat1.rs:LL:CC
    |
-LL |         std::mem::transmute::<&[u8], [u8; 16]>(&[1u8])
+LL |         std::mem::transmute::<&[u8], $ARRAY>(&[1u8])
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`// error-pattern: type validation failed: encountered a pointer`
	`2`	`+// normalize-stderr-test: "\[u8; (8\|16)\]" -> "$$ARRAY"`
`2`	`3`
`3`	`4`	`fn main() {`
`4`	`5`	`#[cfg(target_pointer_width="64")]`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`error: Undefined Behavior: type validation failed: encountered a pointer, but expected plain (non-pointer) bytes`
`2`	`2`	`--> $DIR/transmute_fat1.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| std::mem::transmute::<&[u8], [u8; 16]>(&[1u8])`
	`4`	`+LL \| std::mem::transmute::<&[u8], $ARRAY>(&[1u8])`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes`
`6`	`6`	`\|`
`7`	`7`	`= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior`