{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"while"}]}
                    while steps > 0 {
                    // Try peeling off any existing `&` and `&mut` to reach our target type
                        if let hir::ExprKind::AddrOf(_, mutbl, inner) = expr.kind {