rust-analyzer, the Rust LSP used in e.g. VSCode, can expand declarative and proc macros recursively.

it isn't too bad, although the fewer proc macros in a code base, the better. declarative macros are slightly easier to grok, but much easier to maintain and test. (i feel the same way about opaque codegen in other languages.)