{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
///    values depend on state that might be different between
///  - `DefIndex`, `CrateNum`, `LocalDefId`, because their concrete
///    compilation sessions.