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