{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
/// This does not need to be `pub` for rustc itself, but @chaosite needs it to
///
/// be public when using rustc as a library, see