{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"t.super_visit_with(self)?;"}]}
        t.super_visit_with(self)?;
        self.universes.push(None);
        self.universes.pop();