Skip to content

Make unsafe keyword docs less confusing#1379

Merged
ehuss merged 2 commits into
rust-lang:masterfrom
gregschmit:gns/callee-to-caller-change
Jul 19, 2023
Merged

Make unsafe keyword docs less confusing#1379
ehuss merged 2 commits into
rust-lang:masterfrom
gregschmit:gns/callee-to-caller-change

Improve wording of unsafe proof obligations.

451a8e4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs