{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":".unwrap_or_else(||"}]}
                .unwrap_or_else(|| bug!("typeck should have already ensured that these are const"));
                .const_to_opt_u128(val, true)
            if idx >= total_len {