{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"while"}]}
    while !reached_fixpoint {
    let mut impl_where_bounds_indices = Vec::new();
        reached_fixpoint = true;