about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-06-27Rollup merge of #143104 - davidtwco:issue-142652-dyn-pointeesized-deny, r=com...Matthias Krüger-2/+14
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-5/+5
2025-06-27hir_analysis: prohibit `dyn PointeeSized`David Wood-2/+14
2025-06-27Rollup merge of #142671 - davidtwco:no-default-bounds-attr, r=lcnrGuillaume Gomez-9/+11
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-5/+5
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-0/+1
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-0/+1
2025-06-25compiler: Trim the misleading C of C-cmse from errorsJubilee Young-1/+1
2025-06-25compiler: Trim the misleading C from ExternAbi::CCmse*Jubilee Young-4/+4
2025-06-23compiler: Remove unsupported_fn_ptr_calling_conventions lintJubilee Young-2/+2
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-18hir_analysis: add `#![rustc_no_implicit_bounds]`David Wood-9/+11
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