Lazy normalization of constants (Reprise) - #71973

Merged

bors merged 16 commits into

rust-lang:masterfrom

May 19, 2020

Commits on May 17, 2020

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

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

skinnyBat
authored and
lcnr
committed
4cfdd21
Add lazy normalization tests

skinnyBat
authored and
lcnr
committed
3ef8310
Put lazy normalization behind a feature gate

skinnyBat
authored and
lcnr
committed
93d15b9
initial cleanup
lcnr
committed
c3a0cba
keep the good old lazy_normalization hack alive
lcnr
committed
e1a8d32
update tests and add relevant feature gate test
lcnr
committed
afd7ea8
explicitly handle errors in fulfill
lcnr
committed
e873eef
explicitly handle errors in `select`
lcnr
committed
479968b
merge lazy_normalization_consts into const_generics
lcnr
committed
443ae83
add docs
lcnr
committed
0f7bf5d
correctly handle escaping bound variables
lcnr
committed
3d7637e
chalk
lcnr
committed
c714397
the best way to fix bugs is by ignoring them
lcnr
committed
752d8a2
Logically seperate lazy norm from `const_generics`
lcnr
committed
6a72ba4
update tests
lcnr
committed
9da8a5b