summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-10/+11
2024-11-06Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnrbors-6/+18
2024-11-05Only disable cache if predicate has opaques within itMichael Goulet-6/+18
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-5/+7
2024-11-04Remove the trivial constkind importsMichael Goulet-3/+3
2024-10-29TypingMode :thinking:lcnr-62/+31
2024-10-28Hack out effects support for old solverMichael Goulet-6/+14
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+7
2024-10-24Remove associated type based effects logicMichael Goulet-2/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-13/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-10/+10
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-20/+73
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-3/+0
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-20/+76
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-13/+11
2024-09-11Simplify some nested if statementsMichael Goulet-21/+17
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-1/+1
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-1/+1
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 12:28:45 +0000