//@ check-pass
#![allow(dead_code)]
#![feature(box_patterns)]
fn foo(box (_x, _y): Box<(isize, isize)>) {}
pub fn main() {}