{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//!"}]}
//! To add a new lint to rustc, declare it here using [`declare_lint!`].
//!
//! Then add code to emit the new lint in the appropriate circumstances.