blob: 2d75c12140bf3befa326985ea4536a8fe2206a35 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// run-pass
// Test argument patterns where we create refs to the inside of
// boxes. Make sure that we don't free the box as we match the
// pattern.
#![feature(box_patterns)]
fn getaddr(box ref x: Box<usize>) -> *const usize {
let addr: *const usize = &*x;
addr
}
fn checkval(box ref x: Box<usize>) -> usize {
*x
}
pub fn main() {
let obj: Box<_> = Box::new(1);
let objptr: *const usize = &*obj;
let xptr = getaddr(obj);
assert_eq!(objptr, xptr);
let obj = Box::new(22);
assert_eq!(checkval(obj), 22);
}
|
