summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/dont_yeet_assert.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/dont_yeet_assert.rs')
-rw-r--r--tests/mir-opt/dont_yeet_assert.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/mir-opt/dont_yeet_assert.rs b/tests/mir-opt/dont_yeet_assert.rs
new file mode 100644
index 000000000..7cec761ea
--- /dev/null
+++ b/tests/mir-opt/dont_yeet_assert.rs
@@ -0,0 +1,11 @@
+// compile-flags: --crate-type=lib
+// unit-test: InstCombine
+
+#![feature(core_intrinsics)]
+
+// Want to make sure this assertion isn't compiled away in generic code.
+
+// EMIT_MIR dont_yeet_assert.generic.InstCombine.diff
+pub fn generic<T>() {
+ core::intrinsics::assert_mem_uninitialized_valid::<&T>();
+}