about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-04-04Use the span of the whole bound when the diagnostic talks about a boundOli Scherer-2/+2
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-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
2025-03-06Rollup merge of #137565 - compiler-errors:macro-ex, r=estebankMichael Goulet-0/+3
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-78/+12
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-11/+78
2025-03-06Prefer a two value enum over boolOli Scherer-5/+0
2025-03-05Suggest struct or union to add generic that impls traitxizheyin-2/+61
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-81/+288
2025-03-04Also note struct access, and fix macro expansion from foreign cratesMichael Goulet-1/+1
2025-03-03Fix associated type errors tooMichael Goulet-0/+3
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-13/+56
2025-02-26Rollup merge of #137631 - TaKO8Ki:issue-137508, r=compiler-errorsLeón Orell Valerian Liehr-1/+5
2025-02-26fix #137508Takayuki Maeda-1/+5
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-4/+3
2025-02-22Fix binding mode problemsMichael Goulet-4/+3
2025-02-22Rollup merge of #136458 - compiler-errors:fix-3, r=lcnrMatthias Krüger-28/+99
2025-02-21Do not deduplicate list of associated types provided by dyn principalMichael Goulet-28/+99
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-13/+9
2025-02-18Rollup merge of #137206 - estebank:e0599-structured, r=jieyouxuMatthias Krüger-9/+8
2025-02-18Make E0599 a structured errorEsteban Küber-9/+8
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-6/+6
2025-02-17Auto merge of #137164 - matthiaskrgr:rollup-dj5826k, r=matthiaskrgrbors-81/+92
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-4/+4
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-81/+92