Skip to content

Clarify when safety may rely on correctness#523

Merged
JohnTitor merged 2 commits into
rust-lang:masterfrom
ia0:unsafe
Jun 25, 2026
Merged

Clarify when safety may rely on correctness#523
JohnTitor merged 2 commits into
rust-lang:masterfrom
ia0:unsafe

Rewording

896fce6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Test
succeeded Jun 24, 2026 in 1m 10s