about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2022-01-10Elaborate param_env predicates when checking if type outlives involving proje...Jack Huey-4/+13
2021-12-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-4/+4
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-5/+5
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-5/+5
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-4/+4
2021-11-14Fix span for non-satisfied trivial trait boundsNilstrieb-0/+17
2021-10-15Move push_outlives_components to rustc_inferjackh726-2/+2
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-0/+1
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-07-20Refactor vtable format.Charles Lew-3/+3
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-04-24 11:30:01 +0000