about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
2021-04-28Don't rebind in transitive_bounds_that_define_assoc_typeJack Huey-3/+1
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-26Use iter::zip in compiler/Josh Stone-1/+2
2021-03-15More precise spans for HIR pathsVadim Petrochenkov-1/+1
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-02-08Anonymize late bound regions on transitive bounds that define assoc typeSantiago Pastorino-15/+22
2021-02-05Adapt to latest master changes by using PredicateKindSantiago Pastorino-1/+1
2021-02-05Revert "Auto merge of #79637 - spastorino:revert-trait-inheritance-self, r=Ma...Santiago Pastorino-1/+33
2021-01-16Review changesJack Huey-15/+15
2021-01-16CleanupJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-6/+2
2021-01-16Remove PredicateKind::AtomJack Huey-1/+0
2020-12-20Prevent caching projections in the case of cyclesMatthew Jasper-1/+15
2020-12-02Revert "Auto merge of #79209 - spastorino:trait-inheritance-self, r=nikomatsa...Santiago Pastorino-33/+1
2020-11-27Return FxIndexSet instead of FxHashSet to avoid order errors on different pla...Santiago Pastorino-3/+3
2020-11-27Inline elaborate_trait_refs_that_define_assoc_type into transitive_bounds_tha...Santiago Pastorino-32/+24
2020-11-27Document elaborate_trait_refs_that_define_assoc_typeSantiago Pastorino-0/+5
2020-11-27Allow to self reference associated types in where clausesSantiago Pastorino-0/+35
2020-11-22Thread `Constness` through selectionJonas Schievink-1/+1
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-1/+1
2020-11-16wordslcnr-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-2/+2
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-1/+1
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-1/+2
2020-10-20review commentsEsteban Küber-1/+1
2020-10-20Tweak "object unsafe" errorsEsteban Küber-15/+22
2020-10-16Review commentsJack Huey-1/+1
2020-10-16map_bound_ref -> rebindJack Huey-1/+1
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-2/+3
2020-10-14Remove unused code from rustc_inferest31-2/+0
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-13/+18
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
2020-09-21Add an unused field of type `Option<DefId>` to `ParamEnv` struct.Bram van den Heuvel-1/+1
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+4
2020-08-30mv compiler to compiler/mark-0/+919