don't throw on macroexpansion, we do that during the validation pass