tag xx {
    xx(int);
}

fn main() {
    let @{x:xx(x), y} = @{x: xx(10), y: 20};
    assert x + y == 30;
}