{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"sugg.push(("}]}
                    sugg.push((
                    sugg.push((loop_span.with_hi(pat_span.lo()), "while let Some(".to_string()));
                        pat_span.shrink_to_hi().with_hi(head.span.lo()),