{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! As a user of rust, you can use `-Znext-solver` to enable the new trait solver.
//! As a developer of rustc, you shouldn't be using the new trait