summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+4
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-6/+12
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-20/+25
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-21Make type_var_origin take a vidMichael Goulet-2/+4
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-6/+15
2024-07-17Forbid `!Sized` types and referencesBoxy-8/+34
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 03:01:00 +0000