{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"while"}]}
    while let Some((ty, _steps)) = autoderef.next() {
    let mut v = Vec::new();
        // `ty` may contain unresolved inference variables. Since there's no chance they would be