document that the null pointer has the 0 address#116988

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:null

Nov 6, 2023

+10

Commits on Oct 20, 2023

document that the null pointer has the 0 address
RalfJung
committed