{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
                // `hoist_pat_range_bdy` found `{u,i}size::MAX+1`. So the range denotes the
                // The only reason to get `PosInfinity` here is the special case where
                // fictitious values after `{u,i}size::MAX` (see [`IntRange::split`] for why we do