{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
///   optimizations. The default max value is 0xFFFF_FF00.
/// - `#[max = 0xFFFF_FFFD]`: specifies the max value, which allows niche
/// - `#[gate_rustc_only]`: makes parts of the generated code nightly-only.