Pre-SIP: Export Macros

That will be allowed once macro annotations become stable yes. See also Scala 3, macro annotations and code generation for a proposal attempting to bridge the gap between filling-in definitions and generating new members.