refactor(traverse): harden soundness of Traverse and document safety invariants better
#2402
| Job | Run time |
|---|---|
| 1m 24s | |
| 1m 24s |
Traverse and document safety invariants better
#2402
| Job | Run time |
|---|---|
| 1m 24s | |
| 1m 24s |