{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":".iter()"}]}
            .iter()
        let obligations = pending_obligations
            .filter_map(|obligation| match obligation.value.value.goal.data(Interner) {