Split the type context into a global and a local (inference-only) one.#33425

Merged

bors merged 23 commits intorust-lang:masterfrom

eddyb:rift

May 11, 2016

Commits on May 11, 2016

rustc: Always refer to TyCtxt as tcx.
eddyb
committed
infer: Use methods for creating an InferCtxt.
eddyb
committed
infer: Turn normalize_associated_type into a method on TyCtxt.
eddyb
committed
mem_categorization: freely_aliasable doesn't need to take TyCtxt.
eddyb
committed
typeck: merge CollectCtxt and collect::CollectCtxt.
eddyb
committed
typeck: Avoid passing &TyCtxt around where possible.
eddyb
committed
typeck: Turn everything operating on FnCtxt into a method.
eddyb
committed
rustc: Avoid free functions taking &TyCtxt and &InferCtxt.
eddyb
committed
regionck: Use methods on RegionCtxt instead of free functions.
eddyb
committed
rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.
eddyb
committed
rustc: Use set recovery APIs in the TyCtxt interners.
eddyb
committed
rustc: Keep a reference to the interners in TyCtxt.
eddyb
committed
rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.
eddyb
committed
rustc_typeck: Use Deref for FnCtxt, Inherited and InferCtxt fields and methods.
eddyb
committed
rustc: Remove the TyCtxt field from ParameterEnvironment.
eddyb
committed
rustc: Wrap users of InferCtxt in an anonymous scope.
eddyb
committed
rustc: Remove a redundant lifetime parameter from ExprUseVisitor.
eddyb
committed
rustc: Generalize a minimum set of functions over 'tcx != 'gcx.
eddyb
committed
rustc: More interning for data used in Ty<'tcx>.
eddyb
committed
rustc: Remove the unnecessary ast_ty_to_ty_cache.
eddyb
committed
rustc_typeck: Generalize over 'tcx != 'gcx.
eddyb
committed
rustc: Split local type contexts interners from the global one.
eddyb
committed
Fixup indentation after methodification.
eddyb
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Split the type context into a global and a local (inference-only) one.#33425

Commits on May 11, 2016

rustc: Always refer to TyCtxt as tcx.

infer: Use methods for creating an InferCtxt.

infer: Turn normalize_associated_type into a method on TyCtxt.

mem_categorization: freely_aliasable doesn't need to take TyCtxt.

typeck: merge CollectCtxt and collect::CollectCtxt.

typeck: Avoid passing &TyCtxt around where possible.

typeck: Turn everything operating on FnCtxt into a method.

rustc: Avoid free functions taking &TyCtxt and &InferCtxt.

regionck: Use methods on RegionCtxt instead of free functions.

rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.

rustc: Use set recovery APIs in the TyCtxt interners.

rustc: Keep a reference to the interners in TyCtxt.

rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.

rustc_typeck: Use Deref for FnCtxt, Inherited and InferCtxt fields and methods.

rustc: Remove the TyCtxt field from ParameterEnvironment.

rustc: Wrap users of InferCtxt in an anonymous scope.

rustc: Remove a redundant lifetime parameter from ExprUseVisitor.

rustc: Generalize a minimum set of functions over 'tcx != 'gcx.

rustc: More interning for data used in Ty<'tcx>.

rustc: Remove the unnecessary ast_ty_to_ty_cache.

rustc_typeck: Generalize over 'tcx != 'gcx.

rustc: Split local type contexts interners from the global one.

Fixup indentation after methodification.