{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"while"}]}
                while let Some((ty, _)) = autoderef.next() {
                let mut steps = vec![];
                    steps.push((ty, autoderef.current_obligations()));