about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2025-07-20Rollup merge of #144142 - compiler-errors:itib, r=fmeaseMatthias Krüger-0/+8
2025-07-19Auto merge of #144166 - matthiaskrgr:rollup-wccepuo, r=matthiaskrgrbors-1/+1
2025-07-19rename `emit_unless` to `emit_unless_delay`xizheyin-1/+1
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-65/+34
2025-07-18Don't reject *multiple* relaxed bounds, reject *duplicate* ones.León Orell Valerian Liehr-14/+12
2025-07-18Reword diagnostic about relaxing non-`Sized` boundLeón Orell Valerian Liehr-32/+42
2025-07-18HIR ty lowering: Validate relaxed bounds in trait object typesLeón Orell Valerian Liehr-3/+0
2025-07-18HIR ty lowering: Simplify signature of `lower_poly_trait_ref`León Orell Valerian Liehr-26/+17
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-14Preserve constness in trait objects up to hir ty loweringOli Scherer-1/+1
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-19/+19
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Same for typesMichael Goulet-3/+2
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-20/+15
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-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