Macro hygiene only for expressions/variables but not for types?

[semicoleon]

This came up recently here as well

Where to learn the precise kind of hygiene that Rust macros provide

I'm trying to understand precisely what sort of hygienic macros are provided by Rust. The reason I'm asking this question is that a search thru the literature, e.g. Clinge&Wand ( https://dl.acm.org/doi/10.1145/3386330 ) would indicate that there's been a TON of work in this area over the decades, and so, well, if one is to have a good idea of what Rust does, it had better be precise. I know I can RTSC, and I intend to do that if nothing else works, but I figured I'd ask if there's some precise…

Here's an excerpt from The Little Book of Rust Macros linked in that thread

macro_rules! macros in Rust are partially hygienic, also called mixed hygiene. Specifically, they are hygienic when it comes to local variables, labels and $crate, but nothing else.

My understanding is that it is intentional, but that it isn't necessarily going to be how macros work in declarative macros 2.0 (aka macro aka decl_macro aka macros-by-example). But also a lot of things are still up in the air on that feature so take that with a grain of salt.