{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"location.to_locations().span(body),"}]}
                                    location.to_locations().span(body),
                                &ObligationCause::misc(
                                    body.source.def_id().expect_local(),