summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2024-03-11Rollup merge of #121840 - oli-obk:freeze, r=dtolnayJacob Pratt-0/+14
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-12/+12
2024-02-29Forbid implementing `Freeze` even if the trait is stabilizedOli Scherer-0/+14
2024-02-25Auto merge of #120393 - Urgau:rfc3373-non-local-defs, r=WaffleLapkinbors-5/+5
2024-02-25Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillotMatthias Krüger-5/+5
2024-02-20Move the peeling function for weak alias typesLeón Orell Valerian Liehr-28/+1
2024-02-20Add newtype for first input typeclubby789-5/+5
2024-02-19Inline do_orphan_check_implSantiago Pastorino-17/+9
2024-02-19Remove suspicious auto trait lintSantiago Pastorino-160/+4
2024-02-18Auto merge of #120780 - fmease:lta-in-impls, r=oli-obkbors-1/+30
2024-02-17Fix non_local_definitions lint in rustc_hir_analysisUrgau-5/+5
2024-02-17Support weak alias types as self type of inherent implsLeón Orell Valerian Liehr-1/+30
2024-02-15Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoeristerbors-7/+7
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-7/+7
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-1/+1
2024-02-13Just pass the checker instead of individual fieldsOli Scherer-39/+33
2024-02-13Remove an `impl_polarity` call where the information is already available in ...Oli Scherer-16/+23
2024-02-13Avoid using the HIR span in the happy pathOli Scherer-5/+8
2024-02-13Don't reinvoke `trait_header` query twiceOli Scherer-11/+11
2024-02-13Invoke `trait_def` query only onceOli Scherer-10/+13
2024-02-13Store impl unsafety in impl trait headerOli Scherer-24/+26
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-1/+1
2024-02-12Auto merge of #120835 - oli-obk:no_hir_coherence, r=cjgillotbors-99/+97
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-12Auto merge of #120834 - oli-obk:only_local_coherence, r=lcnrbors-1/+3
2024-02-10Allow restricted trait impls in macros with `min_specialization`Zalathar-2/+6
2024-02-09Don't reinvoke `impl_trait_ref` query after it was already invokedOli Scherer-77/+74
2024-02-09use `impl Trait` argument instead of generic param for simplicityOli Scherer-4/+5
2024-02-09No need for FnMut when FnOnce works nowOli Scherer-2/+2
2024-02-09Simplify conditional erroringOli Scherer-5/+1
2024-02-09Avoid accessing the HIR in the happy path of `coherent_trait`Oli Scherer-14/+18
2024-02-09A trait's local impls are trivially coherent if there are no impls.Oli Scherer-1/+3
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+2
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-4/+4
2024-01-23Remove track_errors entirelyOli Scherer-95/+126
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2024-01-17Make crate_inherent_impls fallible and stop using `track_errors` for itOli Scherer-32/+49
2024-01-17Make crate_inherent_impls_overlap_check bubble up its errorsOli Scherer-18/+28
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-8/+8
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-11/+11
2024-01-08Use chaining for `DiagnosticBuilder` construction and `emit`.Nicholas Nethercote-6/+5
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-6/+6
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-39/+39
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+1
2023-12-05Add moreMichael Goulet-4/+4
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-22Replace `custom_encodable` with `encodable`.Nicholas Nethercote-1/+0