about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-563/+0
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-3/+1
2020-07-27introduce PredicateAtomBastian Kauschke-2/+2
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+1
2020-07-27split ignore_qualifiersBastian Kauschke-2/+2
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-2/+2
2020-07-20trait_sel: only test predicates w/ no substsDavid Wood-15/+15
2020-07-09Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakisManish Goregaokar-1/+1
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-1/+1
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-4/+4
2020-06-12Make `type_marked_structural` privateDylan MacKenzie-1/+0
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-0/+1
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-1/+1
2020-05-30Return early to avoid ICEYuki Okushi-7/+0
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-1/+1
2020-05-23iterate List by valueBastian Kauschke-1/+1
2020-05-22Remove dead ScopeTree codeMatthew Jasper-4/+0
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-1/+1
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-2/+2
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-1/+1
2020-05-15implement type_implments_trait querycsmoe-1/+41
2020-05-07Reintegrate chalk using chalk-solveJack Huey-0/+3
2020-04-20Use more `Iterator`s instead of `Vec`sEsteban Küber-2/+2
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-1/+1
2020-04-14Rename AssocKind::Method to AssocKind::FnRustin-Liu-1/+1
2020-04-12Remove usage of `DUMMY_HIR_ID` in calls to `ObligationClause::misc`marmeladema-3/+3
2020-04-10Rollup merge of #69745 - estebank:predicate-obligations-3, r=nikomatsakis,eddybMazdak Farrokhzad-1/+3
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-1/+3
2020-04-08do_normalize_predicates: add delay_span_bugBastian Kauschke-1/+1
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-1/+1
2020-04-02use direct import for ErrorReportedMazdak Farrokhzad-1/+1
2020-03-30Sync `Instance::resolve` with the projection codeJonas Schievink-1/+0
2020-03-30spec. graph: track defining and finalizing implsJonas Schievink-2/+1
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-5/+5
2020-03-17Erase regions in writebackMatthew Jasper-2/+2
2020-03-14Split librustc_infer.Camille GILLOT-117/+4
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-0/+646
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 15:31:22 +0000