{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// contortions done here to get things to work out correctly.
/// This does not need to be `pub` for rustc itself, but @chaosite needs it to