Code

Infallible promotion#3027

Code

Merged

KodrAus merged 8 commits intorust-lang:masterrust-lang/rfcs:masterfrom RalfJung:infallible-promotionRalfJung/rfcs:infallible-promotionCopy head branch name to clipboardJan 13, 2021

+210

Commits

Commits on Nov 15, 2020

• make implicit promotion infallible

  RalfJung

  committed
  dfcde45

• add some info that was in the MCP but not here; link to MCP

  RalfJung

  committed
  5f08ece

Commits on Nov 28, 2020

• incorporate some feedback

  RalfJung

  committed
  575bfac

• use bulleted lists and add example for CheckedAdd promotion

  RalfJung

  committed
  4592892

Commits on Dec 2, 2020

• add MIR overflow check reference; mention bitwise and shift operators

  RalfJung

  committed
  49b6d56

Commits on Dec 20, 2020

• add note on the interaction of promotion and const validity checks

  RalfJung

  committed
  508ae47

Commits on Dec 21, 2020

• fix CheckedAdd example

  RalfJung

  committed
  4d747ee

Commits on Jan 13, 2021

• RFC 3027: Infallible Promition

  KodrAus

  authored
  cb78c70