about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2018-11-29Implement `AggregateOps`scalexm-2/+28
2018-11-29Implement `ResolventOps`scalexm-29/+256
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-17/+132
2018-11-24Fix `ChalkInferenceContext::into_hh_goal`scalexm-1/+4
2018-11-24Implement some instantiate / canonical routinesscalexm-52/+113
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-10/+14
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-1/+3
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-5/+7
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-5/+7
2018-11-13Implement `ProjectionEq-Normalize`csmoe-1/+43
2018-11-13Instantiate all bound vars existentiallyscalexm-4/+3
2018-11-13Use a dummy outlives requirement for `where Type:,` (see #53696)scalexm-6/+7
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-1/+1
2018-11-13Provide program clauses for builtin typesscalexm-229/+509
2018-11-13Adjust documentationscalexm-3/+4
2018-11-13Pretty print quantified goals and clausesscalexm-10/+3
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-60/+118
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini-2/+4
2018-11-10Auto merge of #55637 - pnkfelix:issue-55552-dont-attempt-to-ascribe-projectio...bors-6/+24
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-2/+4
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-2/+2
2018-11-03Shift both late bound regions and bound typesscalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+3
2018-11-03If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-6/+24
2018-10-29Change a flat_map with 0/1-element vecs to a filter_mapljedrz-6/+6
2018-10-26add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-4/+20
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-5/+147
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+14
2018-10-20Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakisManish Goregaokar-25/+214
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-25/+214
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-5/+5
2018-10-17Re-use memory in `program_clauses_for_env`scalexm-5/+5
2018-10-17Implement `InferenceTable::add_clauses`scalexm-8/+12
2018-10-17Add tests for `program_clauses_for_env`scalexm-5/+6
2018-10-17Categorize chalk clausesscalexm-4/+20
2018-10-17Add `FromEnv` for input types in the environmentscalexm-4/+66
2018-10-17Implement the `environment` queryscalexm-0/+25
2018-10-17Visit tys in `program_clauses_for_env`scalexm-29/+66
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-98/+170
2018-10-15Auto merge of #55095 - Manishearth:rollup, r=Manishearthbors-5/+2
2018-10-15pacify the mercilous tidy with rustfmtNiko Matsakis-115/+122
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-3/+4
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-17/+17
2018-10-15bundle up "canonical instantiation" with infcx creationNiko Matsakis-19/+13
2018-10-14Don't collect to vectors where unnecessaryljedrz-5/+2
2018-10-08Add chalk rules related to associated type defsscalexm-8/+85
2018-10-08Pass around interned refs to goals and not goalsscalexm-28/+36
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-09-30Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrumbors-3/+1
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-7/+16
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-05 00:50:55 +0000