{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"deprecated:"}]}
            deprecated: symbol.deprecated,
            tags: symbol.tags.clone(),
            location: Location::new(url.clone(), symbol.range),