about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2022-06-05get_vtable returns opt instd of unwrppingouz-a-6/+8
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-05-04Add debug statements.Camille GILLOT-1/+2
2022-03-24Implement impl_subject_and_oblig instead of repeating the implsSantiago Pastorino-38/+10
2022-03-24Where bounds are checked on inherent implsSantiago Pastorino-0/+28
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-7/+2
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-1/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-7/+10
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-20Point at source of trait bound obligations in more placesEsteban Kuber-6/+13
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+1
2021-09-05Add query `own_existential_vtable_entries`Gary Guo-28/+17
2021-09-05Stop allocating vtable entries for non-object-safe methodsGary Guo-4/+9
2021-03-31Add tcx lifetime to BinderJack Huey-2/+2
2020-12-19More rebindsJack Huey-3/+5
2020-11-22Thread `Constness` through selectionJonas Schievink-2/+2
2020-11-16compiler: fold by valueBastian Kauschke-2/+2
2020-08-30mv compiler to compiler/mark-0/+363