d3b47c418f
Required supporting: * Trait method lookup * The `offset` intrinsic * Fat pointers * Unsizing coercions and some raw pointer and integer casts
18 lines
295 B
Rust
Executable File
18 lines
295 B
Rust
Executable File
#![feature(custom_attribute, box_syntax)]
|
|
#![allow(dead_code, unused_attributes)]
|
|
|
|
#[miri_run]
|
|
fn make_box() -> Box<(i16, i16)> {
|
|
Box::new((1, 2))
|
|
}
|
|
|
|
#[miri_run]
|
|
fn make_box_syntax() -> Box<(i16, i16)> {
|
|
box (1, 2)
|
|
}
|
|
|
|
// #[miri_run]
|
|
// fn make_vec() -> Vec<i32> {
|
|
// Vec::new()
|
|
// }
|