{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"self.enter_forall(a,"}]}
                self.enter_forall(a, |this, a| {
                // we assign the wrong universe to the existential!
                    let b = this.instantiate_binder_with_existentials(b);