You're correct. It seems to work using a template, which is a simple macro. I wonder if those are hygienic... In any case, it seems you could use the macro facility to instead have explicit bindings for match groups.