{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//"}]}
    // regions that are forced to outlive some free region.
    // reachable from each free region, we will have all the
    let rev_constraint_graph = constraint_set.reverse_graph(num_region_vars);