{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// Allows using `#[omit_gdb_pretty_printer_section]`.
     Some("renamed to `dyn_compatible_for_dispatch`"), 131511),
    (removed, omit_gdb_pretty_printer_section, "CURRENT_RUSTC_VERSION", None, None, 144738),