Rollup of 7 pull requests#115568

Merged

bors merged 16 commits intorust-lang:masterfrom

matthiaskrgr:rollup-2igo8rl

Sep 5, 2023

Commits on Aug 2, 2023

Document soundness of Integer -> Pointer -> Integer conversions in ` const` contexts.
onestacked
committed

Commits on Aug 4, 2023

document our assumptions about symbols provided by the libc
RalfJung
committed

Commits on Aug 14, 2023

explain why we can mutate the FPU control word
RalfJung
committed

Commits on Aug 15, 2023

clarify that these assumtpions are for us, not all Rust code
RalfJung
committed

Commits on Sep 1, 2023

Commits on Sep 4, 2023

Commits on Sep 5, 2023