introduce canonical queries, use for normalization and dropck-outlives - #48411

Merged

bors merged 27 commits into

rust-lang:masterfrom

nikomatsakis:chalkify-canonical-query-mir

Mar 13, 2018

Commits on Mar 13, 2018

require `Lifted` types to outlive `'tcx`
nikomatsakis
committed
f873c1e
improve TypeFoldable/Lift macros and make a bunch of stuff use them
nikomatsakis
committed
23837c1
add `TypeRelation` and `Lift` impls for `Kind`
nikomatsakis
committed
5ddcd09
fix typo in comment
nikomatsakis
committed
10ae216
make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`
nikomatsakis
committed
d0aff85
comment the purpose of `TransNormalize`
nikomatsakis
committed
0037cca
random reformatting
nikomatsakis
committed
652b3b7
add handy helper for Cell<usize>, used for perf stats
nikomatsakis
committed
1d377d1
refactor `ParamEnv::empty(Reveal)` into two distinct methods
nikomatsakis
committed
6d0f931
move ParamEnv methods from `ty/util` to `ty/mod`
nikomatsakis
committed
64d4ed3
change `ParamEnv::and` to sometimes keep the environment [VIC]
nikomatsakis
committed
80b4c45
add `canonicalize` method to `InferCtxt` [VIC]
nikomatsakis
committed
993c148
in `Foo(X)` dep-nodes, allow X to be a `ty` not a `tt`
nikomatsakis
committed
8c024fd
introduce `infcx.at(..).normalize(..)` operation [VIC]
nikomatsakis
committed
3a50b41
introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]
nikomatsakis
committed
ca87d24
introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]
nikomatsakis
committed
211d9ad
transition various normalization functions to the new methods
nikomatsakis
committed
e4728e4
move `drain_fulfillment_cx_or_panic` to be private to traits::trans
nikomatsakis
committed
0a2ac85
add some debug output
nikomatsakis
committed
36e5092
add regression tests for various MIR bugs that get fixed
nikomatsakis
committed
1e4e632
short-circuit `dropck_outlives` for simple cases
nikomatsakis
committed
03c5428
short-circuit work when instantiating query responses
nikomatsakis
committed
0d17f95
`trans_apply_param_substs` => `subst_and_normalize_erasing_regions`
nikomatsakis
committed
6288faa
add a debug assertion that only outlives-oblig. result from norm.
nikomatsakis
committed
fc04c41
replace inline docs with references to rustc-guide
nikomatsakis
committed
d326738
remove dead code
nikomatsakis
committed
29dc902
add "text" sections for things that seem likely to be a problem
nikomatsakis
committed
17c4103

Navigation Menu

Uh oh!

Uh oh!

introduce canonical queries, use for normalization and dropck-outlives - #48411

introduce canonical queries, use for normalization and dropck-outlives#48411
bors merged 27 commits into
rust-lang:masterfrom
nikomatsakis:chalkify-canonical-query-mir

Commits on Mar 13, 2018

require `Lifted` types to outlive `'tcx`

improve TypeFoldable/Lift macros and make a bunch of stuff use them

add `TypeRelation` and `Lift` impls for `Kind`

fix typo in comment

make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`

comment the purpose of `TransNormalize`

random reformatting

add handy helper for Cell<usize>, used for perf stats

refactor `ParamEnv::empty(Reveal)` into two distinct methods

move ParamEnv methods from `ty/util` to `ty/mod`

change `ParamEnv::and` to sometimes keep the environment [VIC]

add `canonicalize` method to `InferCtxt` [VIC]

in `Foo(X)` dep-nodes, allow X to be a `ty` not a `tt`

introduce `infcx.at(..).normalize(..)` operation [VIC]

introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]

introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]

transition various normalization functions to the new methods

move `drain_fulfillment_cx_or_panic` to be private to traits::trans

add some debug output

add regression tests for various MIR bugs that get fixed

short-circuit `dropck_outlives` for simple cases

short-circuit work when instantiating query responses

`trans_apply_param_substs` => `subst_and_normalize_erasing_regions`

add a debug assertion that only outlives-oblig. result from norm.

replace inline docs with references to rustc-guide

remove dead code

add "text" sections for things that seem likely to be a problem