Rust: Replace recursion through forall with ranked recursion
#6482
| Job | Run time |
|---|---|
| 19s | |
| 19s |
forall with ranked recursion
#6482
| Job | Run time |
|---|---|
| 19s | |
| 19s |