second round of refactorings for universes - #54858

Merged

bors merged 12 commits into

rust-lang:masterfrom

nikomatsakis:universes-refactor-2

Oct 15, 2018

Commits on Oct 15, 2018

canonicalizer.rs: rustfmt
nikomatsakis
committed
110b3b9
bundle up "canonical instantiation" with infcx creation
nikomatsakis
committed
fd046a2
rename `QueryResult` to `QueryResponse`
nikomatsakis
committed
bca294d
type_op/mod.rs: rustfmt
nikomatsakis
committed
71caf8a
introduce `canonical_var_for_region` helper fn
nikomatsakis
committed
42a6618
control canonicalization with a trait vs bools
nikomatsakis
committed
28df2bf
make `UniverseIndex` hashable, rename "sub-" to "superuniverse"
nikomatsakis
committed
460915b
convert `UniverseIndex` into a `newtype_index!`
nikomatsakis
committed
da76b4d
hide `SmallCanonicalVarValues` in `OriginalQueryValues` struct
nikomatsakis
committed
6ace43c
remove dead iterator code
nikomatsakis
committed
be02f74
pacify the mercilous tidy with rustfmt
nikomatsakis
committed
f419077
remove the sub/super terminology for universes
nikomatsakis
committed
05f67ca