Skip to content

refactor(traverse): harden soundness of Traverse and document safety invariants better #2403

refactor(traverse): harden soundness of Traverse and document safety invariants better

refactor(traverse): harden soundness of Traverse and document safety invariants better #2403

Annotations

1 warning

Miri

succeeded Jan 15, 2025 in 6m 40s