{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
/// - `macros` is the stack of possible outer macros
/// - `rhs` is checked as part of a RHS
/// - `binders` contains the binders of the associated LHS