From 9ebe2d0c9299a28d32fb22a88e56ddaaef20c8ff Mon Sep 17 00:00:00 2001 From: Takayuki Maeda Date: Wed, 29 Jun 2022 11:29:51 +0900 Subject: [PATCH] add regression test for #79494 use MCVE --- src/test/rustdoc-ui/issue-79494.rs | 5 +++++ src/test/rustdoc-ui/issue-79494.stderr | 12 ++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 src/test/rustdoc-ui/issue-79494.rs create mode 100644 src/test/rustdoc-ui/issue-79494.stderr diff --git a/src/test/rustdoc-ui/issue-79494.rs b/src/test/rustdoc-ui/issue-79494.rs new file mode 100644 index 00000000000..fc39424b793 --- /dev/null +++ b/src/test/rustdoc-ui/issue-79494.rs @@ -0,0 +1,5 @@ +// only-x86_64-unknown-linux-gnu + +#![feature(const_transmute)] + +const ZST: &[u8] = unsafe { std::mem::transmute(1usize) }; //~ ERROR cannot transmute between types of different sizes, or dependently-sized types diff --git a/src/test/rustdoc-ui/issue-79494.stderr b/src/test/rustdoc-ui/issue-79494.stderr new file mode 100644 index 00000000000..7ed5ed38247 --- /dev/null +++ b/src/test/rustdoc-ui/issue-79494.stderr @@ -0,0 +1,12 @@ +error[E0512]: cannot transmute between types of different sizes, or dependently-sized types + --> $DIR/issue-79494.rs:5:29 + | +LL | const ZST: &[u8] = unsafe { std::mem::transmute(1usize) }; + | ^^^^^^^^^^^^^^^^^^^ + | + = note: source type: `usize` (64 bits) + = note: target type: `&[u8]` (128 bits) + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0512`.