{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
/// final output of the compiler. Instead this is purely for rustc's own
/// Note, though, that we don't actually want this metadata to show up in any
/// metadata tracking purposes.