about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize/mod.rs
AgeCommit message (Expand)AuthorLines
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-7/+2
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
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-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-13/+10
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/+1
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-2/+2
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-2/+2
2024-03-22Move check for error in impl header outside of reportingMichael Goulet-4/+5
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-2/+2
2024-02-29track overflowing goals for overfow errorslcnr-0/+9
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-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
2024-01-14Fix `allow_internal_unstable` for `(min_)specialization`clubby789-3/+17
2024-01-11`specialization_graph_of`'s `errored` field is used in the only call site, an...Oli Scherer-34/+34
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+0
2023-12-05Add moreMichael Goulet-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+5
2023-11-26Auto merge of #118267 - compiler-errors:ambiguity-causes, r=spastorinobors-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-24AmbiguityCause should not eagerly format stringsMichael Goulet-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-17/+14
2023-08-28Tweak output of `to_pretty_impl_header` involving only anon lifetimesEsteban Küber-9/+3
2023-08-02Remove constness from `TraitPredicate`Deadbeef-5/+1