summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-2/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-3/+3
2023-04-16fix clippy::toplevel_ref_arg and ::manual_mapMatthias Krüger-7/+2
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-1/+1
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-03-21remove some trait solver helperslcnr-29/+2
2023-03-15always make `define_opaque_types` explicitlcnr-7/+7
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-1/+1
2022-12-26remove unused importsTakayuki Maeda-1/+0
2022-12-08Move vtable methods into its own moduleMichael Goulet-10/+0
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-7/+5
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-2/+2
2022-11-25Rollup merge of #104835 - spastorino:use-partially_normalize_associated_types...Matthias Krüger-5/+9
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-3/+3
2022-11-24Use infcx.partially_normalize_associated_types_inSantiago Pastorino-5/+9
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-0/+11
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-6/+4
2022-11-21Use iterators instead of slices at more sitesOli Scherer-2/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-3/+3
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-10/+4
2022-10-19Don't call `own_existential_vtable_entries` on unresolved trait refMichael Goulet-10/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-08-21Rework point-at-argMichael Goulet-24/+1
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-3/+3
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-1/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 15:36:34 +0000