{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"let"}]}
    let rev_constraint_graph = constraint_set.reverse_graph(num_region_vars);
    // regions that are forced to outlive some free region.
    let fr_static = universal_regions.fr_static;