summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr')
-rw-r--r--src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr b/src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr
new file mode 100644
index 000000000..234e55e3a
--- /dev/null
+++ b/src/test/ui/consts/const-mut-refs/mut_ref_in_final_dynamic_check.stderr
@@ -0,0 +1,21 @@
+error[E0080]: evaluation of constant value failed
+ --> $DIR/mut_ref_in_final_dynamic_check.rs:13:10
+ |
+LL | Some(&mut *(42 as *mut i32))
+ | ^^^^^^^^^^^^^^^^^^^^^^
+ | |
+ | dereferencing pointer failed: 0x2a[noalloc] is a dangling pointer (it has no provenance)
+ | inside `helper` at $DIR/mut_ref_in_final_dynamic_check.rs:13:10
+...
+LL | const A: Option<&mut i32> = helper();
+ | -------- inside `A` at $DIR/mut_ref_in_final_dynamic_check.rs:18:29
+
+error: encountered dangling pointer in final constant
+ --> $DIR/mut_ref_in_final_dynamic_check.rs:25:1
+ |
+LL | const B: Option<&mut i32> = helper2();
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0080`.