{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"//"}]}
            // otherwise.
            // converts `MAX+1` to `PosInfinity`, and we couldn't have `PosInfinity` in `range.lo`
            let lo = self.hoist_pat_range_bdy(range.lo, ty);