> We are to provide information to user in original form (without > transformation). All macros which transform AST should be disabled (or > ignored). Not all. :) Macros which transform types and macros which transform expressions allowed. Only macros witch transform signature or top level macro witch transform method body banned.