Hacker News new | ask | show | jobs
by Ericson2314 1913 days ago
So with true hygienic macros, this is not the case. Even with procedural macros, quoted identifiers are resolved where they are quoted not where they are expanded. Identifiers that are not in scope at the macro definition site would have to be parameters, and those are caught at the invocation site just like any other identifier (the quote and splice cancel out).

I am not sure whether Rust procedural macros are always that hygienic, so fair point if they aren't.