{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"self.obligations.extend(goals.into_iter().map(|goal|"}]}
        self.obligations.extend(goals.into_iter().map(|goal| {
    fn register_goals(&mut self, goals: impl IntoIterator<Item = Goal<'tcx, ty::Predicate<'tcx>>>) {
            Obligation::new(