Turn const eval queries into canonical queries - #67717

Closed

BenLewis-Seequent wants to merge 8 commits into

rust-lang:masterfrom

BenLewis-Seequent:canonicalize-const-eval

Commits on Jan 7, 2020

Turn const eval queries in canonical queries, and add
skinnyBat
committed
95a3dd1
Change Instance::resolve* to take InferCtxt instead of TyCtxt. This will
skinnyBat
committed
5a5a8cf
Make `codegen_fulfill_obligation` a canonical query and rename it to
skinnyBat
committed
77a6e85
Use `infcx.at(..).normalize()` in const eval to deal with inference
skinnyBat
committed
fe87b6a
Move `subst_and_normalize_erasing_regions` into `normalize_erasing_regions.rs` so that it's not
skinnyBat
committed
5a92236
Fix TODO
skinnyBat
committed
0f0ed7f
Add docstrings, add `def_id` method to `ConstEvalInput`, and elide some lifetime parameters.
skinnyBat
committed
b894a6b
Fix/add doc comments and change FIXME
skinnyBat
committed
92b63b8