summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2021-04-28Don't rebind in transitive_bounds_that_define_assoc_typeJack Huey-3/+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-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-16compiler: fold by valueBastian Kauschke-1/+1
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-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-13/+18
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-0/+3
2020-08-30mv compiler to compiler/mark-0/+313
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 12:09:43 +0000