summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-3/+3
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-3/+3
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-26/+16
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-0/+1
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-2/+32
2024-07-29Reformat `use` declarations.Nicholas Nethercote-40/+28
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-2/+15
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-7/+11
2024-07-24Don't use global caches if opaques can be definedOli Scherer-1/+7
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 18:41:08 +0000