The arguments of a macro are prefixed by a dollar sign $ and type annotated with a designator:

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

This is a list of all the designators:

• block
• expr is used for expressions
• ident is used for variable/function names
• item
• pat (pattern)
• path
• stmt (statement)
• tt (token tree)
• ty (type)