{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"while"}]}
    while let Some(_) = iter.next() {}
    let mut iter = mono_reachable(body, tcx, instance);
    iter.visited