{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"RegionTracker::new(element,"}]}
        RegionTracker::new(element, &self.definitions[element])
    fn new(&self, element: RegionVid) -> RegionTracker {
    }