about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence/orphan.rs
AgeCommit message (Expand)AuthorLines
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-2/+2
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-47/+16
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-3/+3
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+2
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+1
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+9
2024-07-21Make type_var_origin take a vidMichael Goulet-2/+4
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-03Nits and formattingMichael Goulet-11/+7
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-03Make TraitEngines generic over errorMichael Goulet-2/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+1
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-08Actually create ranged int types in the type system.Oli Scherer-0/+5
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-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-4/+4
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-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-7/+7
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-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-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-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-13Turn assert_eq into a delay_span_bugMu001999-1/+7
2023-10-24Migrate diagnostics in `rustc_hir_analysis/src/coherence/orphan.rs`Obei Sideg-162/+129
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-9/+6
2023-07-23fix clippy::useless_formatMatthias Krüger-1/+1
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-5/+5
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-14/+12
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+4
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+3
2023-06-16Merge the orphan logic for all alias kindsOli Scherer-29/+23