about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-6/+10
2025-10-01Rollup merge of #146593 - Jules-Bertholet:restrict-e0719, r=BoxyUwUMatthias Krüger-5/+33
2025-09-30Split Bound into Canonical and Boundjackh726-6/+10
2025-09-29Add `overlapping_assoc_constraints` param to `lower_bounds`Jules Bertholet-5/+33
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-6/+6
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-1/+1
2025-09-12Introduce trait_item_ofCameron Steffen-5/+4
2025-09-10Default auto traits: revert to the default supertraitsBryanskiy-6/+0
2025-09-01Remove dead code stemming from an old effects desugaringLeón Orell Valerian Liehr-3/+3
2025-08-25change non-defining use error messagelcnr-9/+3
2025-08-25support non-defining uses in HIR typecklcnr-3/+6
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-12/+11
2025-08-08Reduce indirect assoc parent queriesCameron Steffen-2/+1
2025-08-06Fortify generic param default checksLeón Orell Valerian Liehr-99/+101
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-5/+5
2025-08-01Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnrbors-9/+3
2025-07-31Remove the witness type from coroutine argsMichael Goulet-9/+3
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+2
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-5/+5
2025-07-27check_static_item: explain should_check_for_sync choicesRalf Jung-2/+6
2025-07-26Do not check Sync during type_of.Camille GILLOT-2/+2
2025-07-25Check statics' type in type_of.Camille GILLOT-2/+17
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-18Update comment about `where Ty:`León Orell Valerian Liehr-10/+6
2025-07-17parse `const trait Trait`Deadbeef-3/+3
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-22/+35
2025-07-15Implement other logicstiif-0/+2
2025-07-15Lower the UnstableFeatureBound predicate to UnstableFeature predicatetiif-0/+14
2025-07-13Imply always-const host effects the same as any other item boundMichael Goulet-0/+1
2025-07-13Dont collect assoc ty item bounds from trait where clause for host effect pre...Michael Goulet-22/+34
2025-07-06compiler: rename {ast,hir}::BareFn* to FnPtr*Jubilee Young-7/+5
2025-07-04Same for typesMichael Goulet-15/+9
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-2/+2
2025-07-04Rollup merge of #143394 - workingjubilee:reorganize-hir-analysis-provide-fn, ...Jacob Pratt-0/+1
2025-07-03compiler: document all provide fn in hir_analysis and hir_typeckJubilee Young-0/+1
2025-07-02Explicitly handle all nodes in generics_of when computing parentMichael Goulet-5/+16
2025-06-27Rollup merge of #143106 - yotamofek:pr/gce/non-local-ice, r=BoxyUwUMatthias Krüger-1/+3
2025-06-27gce: don't ICE on non-local constYotam Ofek-1/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-5/+5
2025-06-20Use gen blocks in the compiler instead of from_coroutineMichael Goulet-68/+64
2025-06-18Rollup merge of #141610 - BoxyUwU:stabilize_generic_arg_infer, r=lcnr,travisc...Jakub Beránek-16/+1
2025-06-16hir_analysis: add `{Meta,Pointee}Sized` boundsDavid Wood-5/+36
2025-06-11stabilize gaiBoxy-16/+1
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-9/+9
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-22Review CommentsBoxy-4/+4
2025-05-21Introduce `tcx.anon_const_kind` queryBoxy-41/+30
2025-05-07Add `DefPathData::OpaqueLifetime` to avoid conflicts for remapped opaque life...John Kåre Alsaker-5/+5