//@ run-pass
//@ pretty-expanded FIXME #23616
pub fn main() {
let x: Box<isize> = Box::new(10);
let _y: isize = *x;
}