{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"facts.use_of_var_derefs_origin.push((local,"}]}
            facts.use_of_var_derefs_origin.push((local, region_vid.into()));
            let region_vid = universal_regions.to_region_vid(region);
        });