summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2017-08-23make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-4/+2
2017-08-17Revert "Auto merge of #42840 - arielb1:poison-smoke-and-mirrors, r=nikomatsakis"Ariel Ben-Yehuda-159/+48
2017-08-17Revert "Auto merge of #43184 - nikomatsakis:incr-comp-anonymize-trait-selecti...Ariel Ben-Yehuda-64/+24
2017-07-12integrate anon dep nodes into trait selectionNiko Matsakis-24/+64
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-1/+2
2017-07-07return EvaluatedToRecur when evaluating a recursive obligation treeAriel Ben-Yehuda-27/+97
2017-07-07use the evaluation cache instead of the global fulfillment cacheAriel Ben-Yehuda-20/+20
2017-07-07use dep-graph reads for the evaluation cacheAriel Ben-Yehuda-0/+4
2017-07-07prevent illegal coinductive matching in trait evaluationAriel Ben-Yehuda-3/+40
2017-07-05use field init shorthand in src/librustcZack M. Davis-10/+10
2017-06-29Correct comments about unsizing regarding #40319.Masaki Hara-3/+3
2017-06-29Add unsized tuple coercions.Masaki Hara-0/+36
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-15/+18
2017-06-27rustc: rename closure_type to fn_sig.Eduard-Mihai Burtescu-1/+1
2017-06-09incr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs.Michael Woerister-2/+4
2017-06-01pacify the mercilous tidyNiko Matsakis-1/+3
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-41/+24
2017-06-01strip param-env from infcxNiko Matsakis-41/+75
2017-06-01move projection mode into parameter environmentNiko Matsakis-1/+1
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-1/+1
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-1/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-7/+7
2017-04-23Auto merge of #41486 - arielb1:select-where, r=eddybbors-1/+6
2017-04-23traits::select: quickly filter out predicates from other traitsAriel Ben-Yehuda-1/+6
2017-04-23clean-up adt_sized_constraint now that it uses on-demandAriel Ben-Yehuda-5/+3
2017-04-22bail out of selection when there are multiple surviving candidatesAriel Ben-Yehuda-7/+7
2017-04-15Remove MethodMatchResult and MethodMatchedData.Mark Simulacrum-29/+0
2017-04-14Further update with response to feedbackSean Griffin-1/+2
2017-04-11add Subtype predicateNiko Matsakis-0/+12
2017-03-08Disallow subtyping between T and U in T: Unsize<U>.Eduard-Mihai Burtescu-3/+3
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-3/+8
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-7/+9
2017-02-15Remove noop method `Substs::params()`Esteban Küber-2/+2
2017-02-03Use a proper future-compatibility lintAndrew Cann-7/+6
2017-02-03Add is_defaulted_unit helper methodAndrew Cann-3/+1
2017-02-03Add warning for () to ! switchAndrew Cann-8/+55
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-6/+2
2017-01-24Remove Reflectest31-57/+3
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-11/+3
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-1/+1
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-1/+1
2016-11-28Adds TyCtxt::require_lang_item(LangItem) to simplify lang item requires.Mark-Simulacrum-2/+1
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-80/+64
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-9/+7
2016-11-28Refactor BuiltinBounds to Vec<DefId> on TraitObject.Mark-Simulacrum-24/+22
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-13/+21
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-3/+0
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-18/+11
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 19:47:30 +0000