Lazy normalization of constants#67890

Closed

BenLewis-Seequent wants to merge 6 commits intorust-lang:masterfrom

BenLewis-Seequent:lazy-norm-anon-const

Commits on Apr 9, 2020

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

skinnyBat
authored and
mati865
committed
Emit `ConstEquate` obligation after checking/unifying for inference variables. This means

skinnyBat
authored and
mati865
committed
Add lazy normalization tests

skinnyBat
authored and
mati865
committed
Put lazy normalization behind a -Z flag

skinnyBat
authored and
mati865
committed
Fix tests and lazy normalization gating. Also adds `-Z lazy-normalization` to some tests that require

skinnyBat
authored and
mati865
committed
Added `lazy_normalization_consts` feature, and removed the -Z flag.

skinnyBat
authored and
mati865
committed