{"ast_node_type":"import","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// R2` is treated as an edge `R1 -> R2`. We use this graph to
    /// Creates a "dependency graph" where each region constraint `R1:
    /// construct SCCs for region inference but also for error