{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//"}]}
        // `unwrap()` is ok on a finite value
    pub fn from_singleton(x: MaybeInfiniteInt) -> IntRange {
        IntRange { lo: x, hi: x.plus_one().unwrap() }