{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        obligations: impl IntoIterator<Item = Goal<'tcx, ty::Predicate<'tcx>>>,
        let _: Result<_, ErrorGuaranteed> = self.type_checker.fully_perform_op(