summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/const-eval/ub-upvars.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const-eval/ub-upvars.rs')
-rw-r--r--tests/ui/consts/const-eval/ub-upvars.rs12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/consts/const-eval/ub-upvars.rs b/tests/ui/consts/const-eval/ub-upvars.rs
new file mode 100644
index 000000000..ceac59870
--- /dev/null
+++ b/tests/ui/consts/const-eval/ub-upvars.rs
@@ -0,0 +1,12 @@
+// stderr-per-bitwidth
+#![allow(invalid_value)] // make sure we cannot allow away the errors tested here
+
+use std::mem;
+
+const BAD_UPVAR: &dyn FnOnce() = &{ //~ ERROR it is undefined behavior to use this value
+ let bad_ref: &'static u16 = unsafe { mem::transmute(0usize) };
+ let another_var = 13;
+ move || { let _ = bad_ref; let _ = another_var; }
+};
+
+fn main() {}