Make unsafe keyword docs less confusing#1379

Merged

ehuss merged 2 commits intorust-lang:masterfrom gregschmit:gns/callee-to-caller-change

Jul 19, 2023

+2-2

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