{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// [`IntRange::split`]. This cannot be represented as a `Const`, so we represent it with
    /// Note: it is possible to get `isize/usize::MAX+1` here, as explained in the doc for
    /// `PosInfinity`.