Auto merge of #116988 - RalfJung:null, r=WaffleLapkin

document that the null pointer has the 0 address

Fixes https://github.com/rust-lang/rust/issues/116895

Will need t-lang FCP, but I think this is fairly uncontroversial -- there's probably already tons of code out there that relies on this.
This commit is contained in:
bors 2023-11-06 14:13:00 +00:00
commit c3cf685364

Diff content is not available