{"ast_node_type":"other","tokens":[{"end":131,"kind":"keyword","start":0,"text":"//"}]}
// Even if this is unused, please don't remove it -- chances are we will need to emit a lint during const-eval again in the future!
/// Emit a lint from a const-eval situation, with a backtrace.
#[allow(unused)]