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