about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-8/+7
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-46/+28
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-2/+3
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03Nits and formattingMichael Goulet-11/+7
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-1/+2
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-4/+5
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+2
2024-06-03Make TraitEngines generic over errorMichael Goulet-2/+3
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-1/+1
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-2/+1
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-10/+10
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 13:22:07 +0000