about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
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