{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"self.popen();"}]}
            self.popen();
            self.word("rustc_ensures");
            self.print_expr(pred, FixupContext::default());