about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-06-25Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errorsbors-4/+4
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-2/+2
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-19Allow constraining opaque types during auto trait castingOli Scherer-1/+1
2024-06-19Allow constraining opaque types during unsizingOli Scherer-3/+3
2024-06-18Fix impl for SolverDelegateMichael Goulet-1/+1
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-41/+2
2024-06-15Rollup merge of #126471 - oli-obk:filter_loop, r=compiler-errorsMatthias Krüger-11/+6
2024-06-14Only compute vtable information during codegenMichael Goulet-41/+2
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-39/+39
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-1/+1
2024-06-14Use a consistent way to filter out bounds instead of splitting it into three ...Oli Scherer-11/+6
2024-06-12Rollup merge of #126353 - compiler-errors:move-match, r=lcnrJubilee-2/+123
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-7/+7
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-2/+123
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-5/+3
2024-06-05Rollup merge of #125792 - compiler-errors:dont-drop-upcast-cand, r=lcnrMatthias Krüger-0/+6
2024-06-04Rollup merge of #125750 - compiler-errors:expect, r=lcnr许杰友 Jieyou Xu (Joe)-1/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-3/+3
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-3/+3
2024-05-30Don't drop Upcast candidate in intercrate modeMichael Goulet-0/+6
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-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-12/+3
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-2/+2
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-12/+3
2024-05-17Only make GAT ambiguous in match_projection_projections considering shallow r...Michael Goulet-1/+11
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
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-10/+10
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-6/+6
2024-05-13split out AliasTy -> AliasTermMichael Goulet-6/+6
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+3
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-13/+17
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-13/+17
2024-05-10More rename falloutMichael Goulet-9/+9
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-9/+7
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-18/+20
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-1/+2