summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize
AgeCommit message (Expand)AuthorLines
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
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
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-5/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-37/+32
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-6/+4
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-10/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+2
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-3/+31
2023-05-05Normalize consistently for specializationsMatthew Jasper-17/+22
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-03-27Some tracing/instrument cleanupsOli Scherer-6/+3
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-19/+9
2023-03-19Delay overlap errors if errors are involvedMichael Goulet-1/+5
2023-03-15always make `define_opaque_types` explicitlcnr-1/+2
2023-03-13Better names?Michael Goulet-6/+6
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-6/+19
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-3/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+7
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1