The concrete example is a perfect use case for a macro: In other languages you have to understand and change the compiler implementation to achieve the same eff

The concrete example is a perfect use case for a macro: In other languages you have to understand and change the compiler implementation to achieve the same effect. That's most likely more work.