about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs
AgeCommit message (Expand)AuthorLines
2025-09-13Auto merge of #146491 - jdonszelmann:update-fixme-compare_method_predicate_en...bors-8/+3
2025-09-13update fixme in compare_method_predicate_entailment resulting from review of EIIJana Dönszelmann-8/+3
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-4/+10
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-4/+4
2025-08-13Cleanup assoc parent utilsCameron Steffen-3/+3
2025-08-03Auto merge of #144704 - compiler-errors:explode-wf, r=lcnrbors-8/+8
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-1/+1
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+1
2025-07-30expand WF obligations when checking method callsMichael Goulet-8/+8
2025-07-25Improve and regularize comment placement in doc codeJosh Triplett-1/+1
2025-07-19rename `emit_unless` to `emit_unless_delay`xizheyin-7/+7
2025-07-04Same for typesMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-3/+3
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-3/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-3/+3
2025-06-25Remove some glob imports from the type systemMichael Goulet-3/+3
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-16Auto merge of #140557 - compiler-errors:remove-wf-hack, r=lcnrbors-56/+9
2025-05-07Better error message for late/early lifetime param mismatchMichael Goulet-3/+234
2025-05-07Point out region bound mismatches in check_region_bounds_on_impl_itemMichael Goulet-43/+66
2025-05-07Remove manual WF hackMichael Goulet-56/+9
2025-04-26convert some `GenericArg` to `Term`lcnr-5/+5
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-28/+33
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-15/+17
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-8/+11
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-5/+2
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-7/+7
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-4/+4
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-4/+4
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-04Rollup merge of #139041 - nnethercote:rm-rustc_middle-ty-util-ExplicitSelf, r...Matthias Krüger-13/+22
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-6/+6
2025-03-28Remove `rustc_middle::ty::util::ExplicitSelf`.Nicholas Nethercote-13/+22
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-1/+7
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-13/+13
2025-02-18Rollup merge of #137000 - compiler-errors:deeply-normalize-item-bounds, r=lcnrMatthias Krüger-42/+22
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-3/+2
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-42/+22
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-6/+4
2025-02-08Rustfmtbjorn3-39/+71
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
2025-01-31Rollup merge of #136281 - nnethercote:rustc_hir_analysis, r=lcnrJacob Pratt-3/+3
2025-01-31Remove an unnecessary lifetime from `RemapLateParam`.Nicholas Nethercote-3/+3
2025-01-30review comment: change `span` argumentEsteban Küber-3/+3
2025-01-30When encountering unexpected closure return type, point at return type/expres...Esteban Küber-0/+3
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-19/+5
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-1/+1
2025-01-23`visit_x_unambig`Boxy-1/+1
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-6/+6