Is this limitation going to be overcome in the future? Or is there some way to get around this that I'm not aware of?
Right now I have a project where I would like to use macros, but they would need to depend on types specific to that project. Having a separate compilation unit for the macro would require me to introduce another one to hold the common types, which I'm not willing to do every time I write a macro.