about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize
AgeCommit message (Expand)AuthorLines
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-1/+1
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-1/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-5/+3
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-14/+2
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+2
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-14/+2
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-3/+3
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-0/+14
2024-12-22Make sure we note ambiguity causes on positive/negative impl conflictsMichael Goulet-9/+13
2024-12-02Fix const specializationMichael Goulet-5/+17
2024-12-02Reimplement specialization for const traitsMichael Goulet-18/+112
2024-11-22Simplify fulfill_implicationMichael Goulet-91/+100
2024-10-29TypingMode :thinking:lcnr-2/+4
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-3/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-3/+3
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-17/+13
2024-07-11Remove fully_normalizeMichael Goulet-18/+11
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-59/+2
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-25/+17
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-13/+8
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+2
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+1
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-5/+5
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-05Rollup merge of #122894 - compiler-errors:downgrade, r=lcnrGuillaume Gomez-4/+5
2024-04-04Specialization can switch to `DefineOpaqueTypes::Yes` without having an effect.Oli Scherer-1/+6
2024-03-28fix few moreklensy-3/+3
2024-03-22Move check for error in impl header outside of reportingMichael Goulet-4/+5
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-1/+1
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-2/+2
2024-02-29track overflowing goals for overfow errorslcnr-0/+10
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-5/+5
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-3/+3
2024-02-16Move trait into attr so it's greppableMichael Goulet-4/+4
2024-02-16Use extension trait deriveMichael Goulet-29/+3
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-5/+11
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-5/+11
2024-02-12Dejargnonize substShoyu Vanilla-12/+12
2024-02-08Use `ensure` when the result of the query is not needed beyond its `Result`nessOli Scherer-1/+1
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-2/+2
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2024-01-23Rename `LintLevelsBuilder::struct_lint` as `LintLevelsBuilder::opt_span_lint`.Nicholas Nethercote-1/+1
2024-01-14`allow_internal_unstable(min_specialization)` on `newtype_index`clubby789-13/+19