{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            self.fulfillment_cx.borrow_mut().pending_obligations().iter().map(|o| o.predicate),
        TypeErrCtxt {