Code

Const to op simplification#58511

Code

Merged

bors merged 11 commits intorust-lang:masterrust-lang/rust:masterfrom oli-obk:const_to_opoli-obk/rust:const_to_opCopy head branch name to clipboardFeb 24, 2019

+117-126

Commits

Commits on Feb 16, 2019

• Expose const -> op functions that don't allow violiting const eval invariants

  oli-obk

  committed
  235a6b7

  Copy full SHA for 235a6b7

• Remove an intermediate value from discriminant reading

  oli-obk

  committed
  bd18cc5

  Copy full SHA for bd18cc5

• Burn some invariants we keep up into code

  oli-obk

  committed
  b2bf37a

  Copy full SHA for b2bf37a

• Reuse the Pointer type instead of passing reassembling it at many use sites

  oli-obk

  committed
  f7c4931

  Copy full SHA for f7c4931

• Reintroduce the invariant comment for clarity

  oli-obk

  committed
  7db96a3

  Copy full SHA for 7db96a3

• Update src/librustc_mir/interpret/operand.rs

  Show description for bee3c67
  

  RalfJung

  and

  oli-obk

  authored
  bee3c67

  Copy full SHA for bee3c67

• Make validity checking use MPlaceTy instead of OpTy

  oli-obk

  committed
  525983a

  Copy full SHA for 525983a

• Make may_normalize explicit in the type system

  oli-obk

  committed
  27e438a

  Copy full SHA for 27e438a

• Add eval prefix to clarify what the function does

  oli-obk

  committed
  4fdeb2d

  Copy full SHA for 4fdeb2d

• Update docs and visibilities of const to op methods

  oli-obk

  committed
  4b08533

  Copy full SHA for 4b08533

• Limit the visibility further and expand on a comment

  oli-obk

  committed
  1fe7eb0

  Copy full SHA for 1fe7eb0