That's the same for Rust macros though.

If the expanded code does not pass all the checks along with the other/normal code the program/lib won't compile.