{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// - `#[max = 0xFFFF_FFFD]`: specifies the max value, which allows niche
/// - `#[debug_format = "Foo({})"]`: derives `Debug` with particular output.
///   optimizations. The default max value is 0xFFFF_FF00.