]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/consts/const-eval/ub-int-array.32bit.stderr
New upstream version 1.64.0+dfsg1
[rustc.git] / src / test / ui / consts / const-eval / ub-int-array.32bit.stderr
index df02bdaa33cd9dcb206591c2b9774cebc1844d3b..8eece9e30e4b0d98ecdd26da1a1f289ed9da4f02 100644 (file)
@@ -1,14 +1,8 @@
 error[E0080]: it is undefined behavior to use this value
   --> $DIR/ub-int-array.rs:14:1
    |
-LL | / const UNINIT_INT_0: [u32; 3] = unsafe {
-LL | |
-LL | |
-LL | |     [
-...  |
-LL | |     ]
-LL | | };
-   | |__^ type validation failed at [0]: encountered uninitialized bytes
+LL | const UNINIT_INT_0: [u32; 3] = unsafe {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ constructing invalid value at [0]: encountered uninitialized bytes
    |
    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
    = note: the raw bytes of the constant (size: 12, align: 4) {
@@ -18,14 +12,8 @@ LL | | };
 error[E0080]: it is undefined behavior to use this value
   --> $DIR/ub-int-array.rs:23:1
    |
-LL | / const UNINIT_INT_1: [u32; 3] = unsafe {
-LL | |
-LL | |
-LL | |     mem::transmute(
-...  |
-LL | |     )
-LL | | };
-   | |__^ type validation failed at [1]: encountered uninitialized bytes
+LL | const UNINIT_INT_1: [u32; 3] = unsafe {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ constructing invalid value at [1]: encountered uninitialized bytes
    |
    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
    = note: the raw bytes of the constant (size: 12, align: 4) {
@@ -35,14 +23,8 @@ LL | | };
 error[E0080]: it is undefined behavior to use this value
   --> $DIR/ub-int-array.rs:43:1
    |
-LL | / const UNINIT_INT_2: [u32; 3] = unsafe {
-LL | |
-LL | |
-LL | |     mem::transmute(
-...  |
-LL | |     )
-LL | | };
-   | |__^ type validation failed at [2]: encountered uninitialized bytes
+LL | const UNINIT_INT_2: [u32; 3] = unsafe {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ constructing invalid value at [2]: encountered uninitialized bytes
    |
    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
    = note: the raw bytes of the constant (size: 12, align: 4) {