{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":".map(|pred|"}]}
                        .map(|pred| pred.span)
                        .find(|pred| pred.span.contains(obligation_span))
                        .unwrap_or(obligation_span);