{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"///"}]}
/// be public when using rustc as a library, see
/// This does not need to be `pub` for rustc itself, but @chaosite needs it to
/// <https://github.com/rust-lang/rust/commit/2b4c33817a5aaecabf4c6598d41e190080ec119e>