Why can't pat_param be followed by a colon in macro_rules?

I would also like it if we didn't lift this restriction, because I'd like to reuse top-level pattern type ascription as the syntax to obtain access to anonymous enum variants:

fn foo() -> A | B { todo!() }

match foo() {
    x: A => {}
    x: B => {}
}