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

Yes, absolutely. But for pat_param specifically, I don't see any argument for keeping the restriction given that it is literally designed to be followed by :.