{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! instantiated with `$` then `$d z` becomes `$z` in the nested macro definition and is thus a free
//! on particular values of meta-variables. In the following examples, we don't see that if `$d` is
//! meta-variable. Note however, that if `foo` is instantiated, then we would check the definition