about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence/inherent_impls.rs
AgeCommit message (Expand)AuthorLines
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+2
2025-07-09Port `#[rustc_allow_incoherent_impl]` to the new attribute systemPavel Grigorenko-2/+9
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+2
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-16/+18
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-2/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-2/+3
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-3/+6
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+7
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-02-20Move the peeling function for weak alias typesLeón Orell Valerian Liehr-28/+1
2024-02-17Support weak alias types as self type of inherent implsLeón Orell Valerian Liehr-1/+30
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-17Make crate_inherent_impls fallible and stop using `track_errors` for itOli Scherer-31/+48
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-7/+7
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-09-14Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-77/+16
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-13/+3
2023-03-21Use local key in providersMichael Goulet-5/+3
2023-03-13Better names?Michael Goulet-5/+8
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-3/+10
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-14Do not fetch HIR for inherent impls.Camille GILLOT-56/+36
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-13Tighter spans for bad inherent impl typesMichael Goulet-16/+17
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-1/+1
2022-12-13Combine identical alias armsMichael Goulet-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-7/+7
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+251