summary refs log tree commit diff
path: root/src/librustc/traits/project.rs
AgeCommit message (Expand)AuthorLines
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-33/+4
2017-02-25rustc: simplify tcx.closure_type(...) as it can copy the cached values.Eduard-Mihai Burtescu-1/+2
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-2/+2
2016-12-12Auto merge of #38057 - KiChjang:display-formal-type-param, r=nikomatsakisbors-2/+13
2016-12-03Add TypeVariableOrigin enumKeith Yeung-2/+13
2016-12-03Auto merge of #38059 - arielb1:no-mere-overflow, r=nikomatsakisbors-1/+1
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-2/+2
2016-11-29evaluate obligations in LIFO order during closure projectionAriel Ben-Yehuda-1/+1
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-2/+2
2016-11-17Auto merge of #37660 - nikomatsakis:incremental-36349, r=eddybbors-4/+5
2016-11-17hash the contents of impl-item-ref by adding them to visitorNiko Matsakis-2/+2
2016-11-17when creating an AssociatedItem, read data from impl, not impl itemNiko Matsakis-2/+3
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-11/+6
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-9/+6
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-3/+3
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-14/+12
2016-10-31Changed most vec! invocations to use square bracesiirelu-4/+4
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-2/+2
2016-10-21when pop skol, also remove from proj cacheNiko Matsakis-2/+8
2016-10-17prefer `if let` to match with `None => { }` arm in some placesZack M. Davis-3/+2
2016-10-03Optimize plug_leaks some more.Nicholas Nethercote-1/+1
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-4/+3
2016-08-17rustc: use Vec instead of VecPerParamSpace for ty::GenericPredicates.Eduard Burtescu-1/+1
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-4/+28
2016-08-12rustc: don't reveal specializable polymorphic projections.Eduard Burtescu-35/+36
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-32/+8
2016-05-31kill some unused importsNiko Matsakis-1/+0
2016-05-31consult cache in projectionNiko Matsakis-8/+89
2016-05-31cleanup imports for cacheNiko Matsakis-4/+5
2016-05-31thread vtable-closure obligations to resultNiko Matsakis-0/+13
2016-05-31change to use `higher_ranked_match`Niko Matsakis-57/+86
2016-05-31create but do not use a projection cacheNiko Matsakis-1/+90
2016-05-31more debug dumping in traitsNiko Matsakis-3/+9
2016-05-31make HR algorithms account for region subtypingNiko Matsakis-7/+16
2016-05-22Propagate obligations through projectionMasood Malekghassemi-12/+15
2016-05-17fix stale method namesNiko Matsakis-2/+2
2016-05-17refactor: use `select` inside of a probeNiko Matsakis-188/+281
2016-05-14Rollup merge of #33576 - soltanmm:vtable, r=nikomatsakisManish Goregaokar-7/+11
2016-05-11Add inferred obligation storage to all Vtable variants and SelectionContextMasood Malekghassemi-7/+11
2016-05-11Remove unification despite ambiguity in projectionMasood Malekghassemi-57/+1
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-2/+2
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-59/+64
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-24/+24
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-1/+1
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-15/+12
2016-05-05Fix some some duplicate words.Georg Brandl-1/+1
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-04-05Rollup merge of #32596 - soltanmm:lazy, r=nikomatsakisManish Goregaokar-5/+18
2016-04-04Address nitsMasood Malekghassemi-4/+4
2016-03-31librustc: replace span_bug calls with span_bug!()Benjamin Herr-13/+14