about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check.rs
AgeCommit message (Expand)AuthorLines
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-1/+1
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-1/+1
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-1/+1
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-2/+2
2025-01-06footnote to ordinary commentlcnr-15/+15
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-31/+92
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-1/+4
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-2/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-07-19Use structured suggestions for unconstrained generic parameters on impl blocksOli Scherer-56/+20
2024-06-03Hide some follow-up errorsOli Scherer-0/+2
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+1
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-15/+7
2024-02-20Use expand_weak_alias_tys when collecting constrained generics params in implsLeón Orell Valerian Liehr-1/+1
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-2/+2
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-1/+1
2024-01-17Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ...Oli Scherer-13/+33
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-2/+2
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-3/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-3/+3
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-14/+1
2023-06-14Error on unconstrained lifetime in RPITITMichael Goulet-2/+15
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-2/+2
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-2/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-1/+2
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-3/+3
2022-10-13Report duplicate definition in impls with overlap check.Camille GILLOT-39/+1
2022-10-11Report duplicate definitions in trait impls during resolution.Camille GILLOT-0/+3
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+228