Make unsafe keyword docs less confusing#1379

Merged

ehuss merged 2 commits intorust-lang:masterfrom

gregschmit:gns/callee-to-caller-change

Jul 19, 2023

Commits on Jul 11, 2023

Clarify which proof obligations are referenced.

gregschmit
and
RalfJung
committed

Commits on Jul 19, 2023

Improve wording of unsafe proof obligations.

gregschmit
and
RalfJung
authored