{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// create new region variables, which we must not do when verifying
    /// Placeholder regions need to be converted eagerly because it may
    /// our region bounds.