{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
    /// Allows `#![no_core]`.
    (unstable, new_range, "1.86.0", Some(123741)),
    (unstable, no_core, "1.3.0", Some(29639)),