{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
    // defined by rustc/Rust itself. Users can still do this if they wish, but should not be
    // We don't want to encourage people to add values to a well-known names, as these are
    // encouraged to do so.