{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"let"}]}
            let lo = cx.hoist_pat_range_bdy(range.lo, ty);
        } else if range.is_singleton() {
            let value = lo.as_finite().unwrap();