Skip to content

std: replace "safe" with "sound" in safety documentation - #156572

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
xtqqczze:sound-env
May 18, 2026
Merged

std: replace "safe" with "sound" in safety documentation#156572
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
xtqqczze:sound-env

Commits

Commits on May 14, 2026