{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"///"}]}
    /// of rustc_middle::hir::source_map.
    /// This span is meant for dep-tracking rather than diagnostics. It should not be used outside
    query source_span(key: LocalDefId) -> Span {