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