{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"valid_range:"}]}
        valid_range: WrappingRange { start: 0, end: max_discr },
        value: Primitive::Int(discr_int, /* signed = */ false),
    };