tag taggy {
    foo(@taggy);
    bar;
}

fn main() {
    check (bar <= bar);
}