Artificial AST

[Araq]

Why wouldn't your example be valid? The compiler checks the AST after macro 
expansion, it can reject it and produce an error message.

To be honest, I doubt I understood your question.