{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
/// Used for rustc syncs.
const JOSH_FILTER: &str = ":rev(55d9a533b309119c8acd13061581b43ae8840823:prefix=src/tools/rust-analyzer):/src/tools/rust-analyzer";