Infallible promotion#3027

Merged

KodrAus merged 8 commits intorust-lang:masterfrom

RalfJung:infallible-promotion

Jan 13, 2021

Commits on Nov 15, 2020

Commits on Nov 28, 2020

Commits on Dec 2, 2020

add MIR overflow check reference; mention bitwise and shift operators
RalfJung
committed

Commits on Dec 20, 2020

add note on the interaction of promotion and const validity checks
RalfJung
committed

Commits on Dec 21, 2020

fix CheckedAdd example
RalfJung
committed

Commits on Jan 13, 2021

RFC 3027: Infallible Promition
KodrAus
authored

⚡