Explicitly document the size guarantees that Option makes. - #75454

Merged

bors merged 8 commits into

rust-lang:masterfrom

ltratt:option_optimisation_guarantees

Sep 26, 2020

Commits on Aug 12, 2020

Explicitly document the size guarantees that Option makes.
ltratt
committed
73ada2d
Clarify and add guarantee about `transmute`.
ltratt
committed
f5118a5
Be clear about the reverse `transmute` guarantees.
ltratt
committed
83f47aa
Be clearer about Some/None transmute.
ltratt
committed
f3d7196
Change notation.

ltratt
and
RalfJung
authored
8cb8955
Add Rust function pointers.

ltratt
and
RalfJung
authored
55802e3

Commits on Aug 17, 2020

Rename the types for clarity.
ltratt
committed
68209c3
Grammar tweak.
ltratt
committed
9bac577