about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-06-18Rollup merge of #140247 - BoxyUwU:iats_no_query_cycles, r=lcnrTrevor Gross-115/+43
2025-06-18Rollup merge of #141610 - BoxyUwU:stabilize_generic_arg_infer, r=lcnr,travisc...Jakub Beránek-14/+1
2025-06-17Don't build `ParamEnv` and do trait solving in `ItemCtxt`sBoxy-115/+43
2025-06-16hir_analysis: add `{Meta,Pointee}Sized` boundsDavid Wood-130/+278
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-3/+3
2025-06-12Remove lower_arg_ty as all callers were passing `None`Oli Scherer-10/+0
2025-06-11stabilize gaiBoxy-14/+1
2025-06-11Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwUbors-1/+5
2025-06-06Rollup merge of #142043 - estebank:const-suggestion, r=wesleywiserGuillaume Gomez-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-04Verbose suggestion to make param `const`Esteban Küber-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+5
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-3/+3
2025-05-27Rollup merge of #141495 - compiler-errors:rename-unpack, r=fmeaseMatthias Krüger-2/+2
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-27Use more detailed spans in dyn compat errors within bodiesOli Scherer-4/+7
2025-05-22Rollup merge of #140218 - fmease:hirtylo-clean-up-path-low, r=compiler-errorsMatthias Krüger-485/+480
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-06Preserve generic args in suggestions for ambiguous associated itemsLeón Orell Valerian Liehr-24/+29
2025-05-06Factor out `resolve_type_relative_path`León Orell Valerian Liehr-152/+112
2025-05-06Rename and move several error reporting methodsLeón Orell Valerian Liehr-192/+205
2025-05-06Introduce Boolean type `PermitVariants` for legibilityLeón Orell Valerian Liehr-13/+22
2025-05-06Name methods pertaining to HIR ty lowering of paths more appropriatelyLeón Orell Valerian Liehr-133/+149
2025-05-06Eliminate unnecessary parameterLeón Orell Valerian Liehr-15/+9
2025-05-06Consistently use the DiagCtxtHandle of HirTyLowerer instead of the one of TyCtxtLeón Orell Valerian Liehr-17/+15
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