Comment by rdescartes

> Another reason I love Rust. It’s very statically analyzable.

Proc-macro in Rust is very tricky to analyze statically, some are even impossible (due to non-deterministic behavior)