about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-0/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-12rename query and use `NoSolution`Boxy-1/+1
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-0/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-6/+3
2023-01-22Store relationships on InherentSantiago Pastorino-1/+0
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-8/+6
2023-01-15Rollup merge of #106863 - anden3:compiler-double-spaces, r=NilstriebMatthias Krüger-1/+1
2023-01-14Removed various double spaces in compiler source comments.André Vennberg-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+4
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-3/+0
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-3/+0
2023-01-03Simplify some canonical type alias namesMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-4/+1
2022-12-14Remove many more cases of `mk_substs_trait` that can now use the iterator sch...Oli Scherer-7/+2
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-2/+0
2022-12-08Move vtable methods into its own moduleMichael Goulet-363/+4
2022-12-08Move has_structural_eq_impls provider to rustc_ty_utilsMichael Goulet-1/+0
2022-12-06drive-by: Default param for ToPredicateMichael Goulet-1/+1
2022-12-01Document normalization methods on AtMichael Goulet-1/+0
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-3/+3
2022-11-28Make normalize and normalize_to pub(crate)Michael Goulet-1/+2
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-1/+1
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-4/+0
2022-11-25Add empty ConstKind::Abstractkadmin-4/+0
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+4
2022-11-25get rid of to_poly_trait_predicateOli Scherer-1/+1
2022-11-23Call fully_solve_obligations instead of repeating codeSantiago Pastorino-6/+11
2022-11-23Use ObligationCtxt intead of dyn TraitEngineSantiago Pastorino-10/+9
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-2/+2
2022-11-21For lcnrOli Scherer-0/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-2/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-6/+2
2022-11-21Split out the actual predicate solving code into a separate functionOli Scherer-9/+17
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-1/+2
2022-11-08Rollup merge of #104094 - lcnr:on_unimplemented-move, r=wesleywiserDylan DPC-2/+0
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-1/+1
2022-11-07fully move `on_unimplemented` to error reportinglcnr-2/+0
2022-11-06Auto merge of #103861 - compiler-errors:codegen-select-in-vtable-slot, r=nagisabors-18/+6
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-11-04Some tracing and comment cleanupsOli Scherer-29/+5
2022-11-02Use ObligationCtxt in fully_normalizeMichael Goulet-18/+9
2022-11-02Use codegen_select in vtable_trait_upcasting_coercion_new_vptr_slotMichael Goulet-18/+6
2022-10-19Don't call `own_existential_vtable_entries` on unresolved trait refMichael Goulet-7/+4
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-70/+63
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-10/+10
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 23:19:29 +0000