about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-29Add `overlapping_assoc_constraints` param to `lower_bounds`Jules Bertholet-0/+1
2025-09-24Address review commentsJules Bertholet-3/+15
2025-09-18Enforce E0719 only for trait aliasesJules Bertholet-1/+2
2025-09-17Merge modules dyn_compatibility and lint into dyn_traitLeón Orell Valerian Liehr-11/+3
2025-09-17Remove `DynKind`León Orell Valerian Liehr-6/+1
2025-09-02stabilize extended_varargs_abi_supportRalf Jung-2/+2
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-1/+1
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-2/+3
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-3/+5
2025-07-31Deduplicate `IntTy`/`UintTy`/`FloatTy`.Nicholas Nethercote-3/+3
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-3/+5
2025-07-20Rollup merge of #144142 - compiler-errors:itib, r=fmeaseMatthias Krüger-0/+8
2025-07-18Add implicit sized bound to trait ascription typesMichael Goulet-0/+8
2025-07-18HIR ty lowering: Validate `PointeeSized` boundsLeón Orell Valerian Liehr-23/+26
2025-07-18HIR ty lowering: Simplify signature of `lower_poly_trait_ref`León Orell Valerian Liehr-5/+8
2025-07-12Clean up implementation of RPITIT assoc item loweringMichael Goulet-2/+2
2025-07-13query RPITIT in a trait or implbohan-2/+2
2025-07-06compiler: rename {ast,hir}::BareFn* to FnPtr*Jubilee Young-9/+9
2025-07-04Same for typesMichael Goulet-2/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-13/+7
2025-07-03Rollup merge of #143038 - Qelxiros:142676-private-dependency-traits, r=tgross35Jana Dönszelmann-1/+1
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-1/+1
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-07-02avoid suggesting traits from private dependenciesJeremy Smart-1/+1
2025-07-02Rollup merge of #143258 - compiler-errors:disambiguator-state, r=oli-obkMatthias Krüger-9/+19
2025-07-01Remove support for dyn*Michael Goulet-1/+0
2025-06-30Don't recompute DisambiguatorState for every RPITIT in trait definitionMichael Goulet-9/+19
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-2/+2
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-3/+3
2025-06-23compiler: Remove unsupported_fn_ptr_calling_conventions lintJubilee Young-2/+2
2025-06-17Don't build `ParamEnv` and do trait solving in `ItemCtxt`sBoxy-112/+39
2025-06-12Remove lower_arg_ty as all callers were passing `None`Oli Scherer-10/+0
2025-06-11Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwUbors-1/+5
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+5
2025-05-27Rollup merge of #141495 - compiler-errors:rename-unpack, r=fmeaseMatthias Krüger-1/+1
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-27Use more detailed spans in dyn compat errors within bodiesOli Scherer-1/+5
2025-05-06Factor out `resolve_type_relative_path`León Orell Valerian Liehr-48/+75
2025-05-06Rename and move several error reporting methodsLeón Orell Valerian Liehr-171/+19
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-132/+148
2025-05-06Eliminate unnecessary parameterLeón Orell Valerian Liehr-8/+2
2025-05-06Consistently use the DiagCtxtHandle of HirTyLowerer instead of the one of TyCtxtLeón Orell Valerian Liehr-4/+4
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