Turn const eval queries into canonical queries#67717

Closed

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

BenLewis-Seequent:canonicalize-const-eval

Commits on Jan 7, 2020

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