{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// that shouldn't affect anything, other than maybe debuginfo.
    /// N.B.: `u128` values above `i128::MAX` will be treated as signed, but
    fn repr_discr<'tcx>(