summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2024-07-10instantiate higher ranked goals in candidate selectionlcnr-54/+12
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-08Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr许杰友 Jieyou Xu (Joe)-1/+1
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-1/+1
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-1/+1
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-18Fix impl for SolverDelegateMichael Goulet-1/+1
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-13/+13
2024-06-12Rollup merge of #126353 - compiler-errors:move-match, r=lcnrJubilee-2/+2
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-7/+7
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-2/+2
2024-06-11Revert "When checking whether an impl applies, constrain hidden types of opaq...Oli Scherer-1/+1
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-06-06Uplift TypeErrorMichael Goulet-0/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-12/+14
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+3
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-2/+1
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-1/+18
2024-05-29Partially implement `ConstArgHasType`Boxy-1/+18
2024-05-28Get rid of manual Trace callsMichael Goulet-2/+5
2024-05-23Support constraining opaque types while trait upcasting with bindersOli Scherer-1/+1
2024-05-23Allow defining opaque types during trait object upcasting.Oli Scherer-1/+1
2024-05-23When checking whether an impl applies, constrain hidden types of opaque types.Oli Scherer-1/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-17Only make GAT ambiguous in match_projection_projections considering shallow r...Michael Goulet-1/+11
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-2/+2
2024-05-16Make P parameter explicitMichael Goulet-4/+3
2024-05-16Rename ToPredicate for UpcastMichael Goulet-5/+5
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-5/+5
2024-05-13split out AliasTy -> AliasTermMichael Goulet-5/+5
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-0/+1
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+1
2024-05-10More rename falloutMichael Goulet-3/+3
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-8/+6
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-9/+11
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-2/+2
2024-05-02shallow resolve in orphan checklcnr-1/+1
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-1/+1
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-3/+7
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-4/+4
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+8
2024-04-06Add a debug asserts call to match_projection_projections to ensure invariantSantiago Pastorino-0/+2
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-1/+1
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-1/+1
2024-04-04Allow defining opaque types when checking const equality boundsOli Scherer-3/+9
2024-04-04Add some regression tests for opaque types and const genericsOli Scherer-1/+2
2024-04-03move leak check out of candidate evaluationlcnr-14/+62
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 00:31:05 +0000