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