{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
                // we assign the wrong universe to the existential!
                // Note: the order here is important. Create the placeholders first, otherwise
                self.enter_forall(b, |this, b| {