diff --git a/tests/fail/validity/uninhabited_variant.rs b/tests/fail/validity/uninhabited_variant.rs
new file mode 100644
index 0000000000..fb0387a534
--- /dev/null
+++ b/tests/fail/validity/uninhabited_variant.rs
@@ -0,0 +1,16 @@
+#![feature(never_type)]
+
+#[repr(C)]
+#[allow(dead_code)]
+enum E {
+    V1,    // discriminant: 0
+    V2(!), // 1
+}
+
+fn main() {
+    assert_eq!(std::mem::size_of::<E>(), 4);
+
+    let val = 1u32;
+    let ptr = (&raw const val).cast::<E>();
+    unsafe { ptr.read() }; //~ ERROR: encountered an uninhabited enum variant
+}
diff --git a/tests/fail/validity/uninhabited_variant.stderr b/tests/fail/validity/uninhabited_variant.stderr
new file mode 100644
index 0000000000..6a41633267
--- /dev/null
+++ b/tests/fail/validity/uninhabited_variant.stderr
@@ -0,0 +1,13 @@
+error: Undefined Behavior: constructing invalid value at .<enum-tag>: encountered an uninhabited enum variant
+  --> tests/fail/validity/uninhabited_variant.rs:LL:CC
+   |
+LL |     unsafe { ptr.read() };
+   |              ^^^^^^^^^^ Undefined Behavior occurred here
+   |
+   = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
+   = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
+
+note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
+
+error: aborting due to 1 previous error
+