{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"Some(0)"}]}
                        Some(0) => {}
                    match len.try_to_target_usize(self.tcx) {
                        _ => return Err(Unpromotable),