Sign in
android
/
toolchain
/
rustc
/
983137f038c4d4b95a0cd86b7c42d0313b50de67
/
.
/
src
/
test
/
ui
/
consts
/
miri_unleashed
/
raw_mutable_const.rs
blob: cabd754e01ac30165070cf962f2994c8e8cb173e [
file
] [
log
] [
blame
]
// compile-flags: -Zunleash-the-miri-inside-of-you
#![
allow
(
const_err
)]
use
std
::
cell
::
UnsafeCell
;
const
MUTABLE_BEHIND_RAW
:
*
mut
i32
=
&
UnsafeCell
::
new
(
42
)
as
*
const
_
as
*
mut
_
;
//~^ ERROR: untyped pointers are not allowed in constant
fn
main
()
{}