Code

Some Promotion Refactoring#80458

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:promotion-refactorRalfJung/rust:promotion-refactorCopy head branch name to clipboardDec 31, 2020

+115-99

Commits

Commits on Dec 28, 2020

• promotion: factor some common code into validate_ref

  RalfJung

  committed
  122e91c

  Copy full SHA for 122e91c

• merge two match'es for more exhaustiveness

  RalfJung

  committed
  c177e68

  Copy full SHA for c177e68

• make more matches exhaustive

  RalfJung

  committed
  4a90a58

  Copy full SHA for 4a90a58

Commits on Dec 29, 2020

• fix a comment

  RalfJung

  committed
  51cec58

  Copy full SHA for 51cec58