Code

Lazy normalization of constants#67890

Code

Closed

BenLewis-Seequent wants to merge 6 commits intorust-lang:masterrust-lang/rust:masterfrom BenLewis-Seequent:lazy-norm-anon-constBenLewis-Seequent/rust:lazy-norm-anon-constCopy head branch name to clipboard

+694-74

Commits

Commits on Apr 9, 2020

• Assume unevaluated consts are equal to the other consts and add ConstEquate obligation. This delays

  Show description for 23edfc3
  

  skinnyBat

  authored and

  mati865

  committed
  23edfc3

  Copy full SHA for 23edfc3

• Emit ConstEquate obligation after checking/unifying for inference variables. This means

  Show description for 9df3360
  

  skinnyBat

  authored and

  mati865

  committed
  9df3360

  Copy full SHA for 9df3360

• Add lazy normalization tests

  

  skinnyBat

  authored and

  mati865

  committed
  a479836

  Copy full SHA for a479836

• Put lazy normalization behind a -Z flag

  

  skinnyBat

  authored and

  mati865

  committed
  70ec3b5

  Copy full SHA for 70ec3b5

• Fix tests and lazy normalization gating. Also adds -Z lazy-normalization to some tests that require

  Show description for 40887eb
  

  skinnyBat

  authored and

  mati865

  committed
  40887eb

  Copy full SHA for 40887eb

• Added lazy_normalization_consts feature, and removed the -Z flag.

  

  skinnyBat

  authored and

  mati865

  committed
  905e64b

  Copy full SHA for 905e64b