{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":".map(|obligation|"}]}
                        .map(|obligation| obligation.as_goal()),
                        .into_iter()
                );