about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+2
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+2
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-2/+2
2024-05-02shallow resolve in orphan checklcnr-0/+1
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-67/+245
2024-04-16Prefer identity equality over equating types during coercion.Oli Scherer-22/+13
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+12
2024-03-29Stop doing so much to handle subdiagnosticsMichael Goulet-94/+68
2024-03-29Stop removing substs from Adt type in coherenceMichael Goulet-12/+16
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-13/+16
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
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