about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-05-08Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnrMatthias Krüger-7/+23
2025-05-07ReviewMichael Goulet-5/+20
2025-05-07Only include associated type bounds for Self:Sized associated types if they a...Michael Goulet-4/+5
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-3/+3
2025-05-02resolve: Support imports of associated types and glob imports from traitsVadim Petrochenkov-16/+18
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-24/+36
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+8
2025-04-28Separate pattern lowering from pattern type loweringOli Scherer-24/+28
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-20Don't compute name of associated item if it's an RPITITMichael Goulet-3/+3
2025-04-17Rollup merge of #139770 - nnethercote:rename-LifetimeName, r=BoxyUwUMatthias Krüger-1/+1
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-1/+1
2025-04-15Don't compute name of associated item if it's an RPITITMichael Goulet-2/+1
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-18/+22
2025-04-15Move two methods from `AssocKind` to `AssocItem`.Nicholas Nethercote-2/+2
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-2/+2
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-93/+114
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-44/+49
2025-04-08Rollup merge of #139124 - xtexx:gh-139082, r=compiler-errorsStuart Cook-0/+14
2025-04-07Rollup merge of #139365 - Bryanskiy:leak-perf, r=lcnrStuart Cook-8/+48
2025-04-04Use the span of the whole bound when the diagnostic talks about a boundOli Scherer-2/+2
2025-04-04Default auto traits: fix perfBryanskiy-8/+48
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-39/+216
2025-04-03Initial support for auto traits with default boundsBryanskiy-39/+216
2025-04-03compiler: report error when trait object type param reference selfxtex-0/+14
2025-04-02Rollup merge of #139232 - nnethercote:remove-Map-5, r=ZalatharTakayuki Maeda-7/+7
2025-04-02Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errorsbors-19/+17
2025-04-02Only walk local items instead of filtering for them laterOli Scherer-19/+17
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-7/+7
2025-04-01Skip suggest impl or dyn when poly trait is not a real traitxizheyin-0/+1
2025-03-20Rollup merge of #138685 - nnethercote:use-Option-Ident-for-lowered-param-name...Matthias Krüger-4/+6
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-4/+6
2025-03-18Remove existing AFIDT implementationMichael Goulet-1/+1
2025-03-17Rollup merge of #138384 - nnethercote:hir-ItemKind-idents, r=fmeaseMatthias Krüger-3/+4
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-3/+4
2025-03-17Use `strip_{prefix|suffix}` instead of `{starts|ends}_with`+indexingYotam Ofek-2/+2
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-5/+6
2025-03-15Fold visit into tyMichael Goulet-1/+1
2025-03-15Squash fold into tyMichael Goulet-4/+2
2025-03-14Small grammar fix in commentYotam Ofek-1/+1
2025-03-14Fix typo in hir lowering lint diagYotam Ofek-1/+3
2025-03-12Rollup merge of #137504 - nnethercote:remove-Map-4, r=ZalatharManish Goregaokar-1/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-03-11Rollup merge of #138256 - compiler-errors:anon-const-ty, r=BoxyUwUMatthias Krüger-8/+17
2025-03-11Rollup merge of #138315 - matthiaskrgr:nextback, r=fmeaseJakub Beránek-1/+1
2025-03-10use next_back() instead of last() on DoubleEndedIteratorMatthias Krüger-1/+1
2025-03-09Do not feed anon const a type that references generics that it does not haveMichael Goulet-8/+17
2025-03-08Fix suggestion when there are generics, inline some thingsMichael Goulet-16/+30
2025-03-08Rework maybe_suggest_add_generic_impl_traitMichael Goulet-24/+71
2025-03-07Rollup merge of #138042 - xizheyin:issue-135759, r=nnethercoteMatthias Krüger-2/+61