Skip to content

Challenge 24: Verify safety of Vec IntoIter functions#570

Open
Samuelsills wants to merge 2 commits into
model-checking:mainfrom
Samuelsills:challenge-24-vec-pt2
Open

Challenge 24: Verify safety of Vec IntoIter functions#570
Samuelsills wants to merge 2 commits into
model-checking:mainfrom
Samuelsills:challenge-24-vec-pt2

Fix formatting to match CI rustfmt expectations

6f76315
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify std library
succeeded Mar 26, 2026 in 30s