clarify that addr_of creates read-only pointers#129653

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:addr-of-read-only

Sep 6, 2024

+8

Commits on Aug 27, 2024

clarify that addr_of creates read-only pointers
RalfJung
committed

Commits on Aug 28, 2024

addr_of on places derived from raw pointers should preserve permissions
RalfJung
committed