{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.universes.push(None);"}]}
        self.universes.push(None);
    fn visit_binder<T: TypeVisitable<I>>(&mut self, t: &ty::Binder<I, T>) -> Self::Result {
        t.super_visit_with(self)?;