about summary refs log tree commit diff
path: root/tests/ui/consts/miri_unleashed/box.rs
blob: d361870b58a6e3eed8b9efefd30f231995c2ffcd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
//@ compile-flags: -Zunleash-the-miri-inside-of-you

use std::mem::ManuallyDrop;

fn main() {}

static TEST_BAD: &mut i32 = {
    &mut *(Box::new(0))
    //~^ ERROR calling non-const function `Box::<i32>::new`
};

//~? WARN skipping const checks