Code

Some promotion cleanup#76411

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:promote-in-const-fnRalfJung/rust:promote-in-const-fnCopy head branch name to clipboardSep 20, 2020

+90-41

Commits

Commits on Sep 19, 2020

• cleanup promotion const_kind checks

  Show description for 4d1ef03
  RalfJung

  committed
  4d1ef03

  Copy full SHA for 4d1ef03

• fix doc comment

  RalfJung

  committed
  7febd5a

  Copy full SHA for 7febd5a

• never promote non-const operations; revert STATIC promotion change

  RalfJung

  committed
  7b99c8e

  Copy full SHA for 7b99c8e

• fix some comments

  RalfJung

  committed
  9216eb8

  Copy full SHA for 9216eb8