//@ run-pass
fn main() {
let x = Box::new([1, 2, 3]);
let y = x as Box<[i32]>;
println!("y: {:?}", y);
}