about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/item_bounds.rs
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-6/+10
2025-09-30Split Bound into Canonical and Boundjackh726-6/+10
2025-09-29Add `overlapping_assoc_constraints` param to `lower_bounds`Jules Bertholet-3/+17
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-5/+5
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-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-2/+2
2025-06-16hir_analysis: add `{Meta,Pointee}Sized` boundsDavid Wood-0/+16
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-04-03Initial support for auto traits with default boundsBryanskiy-5/+4
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-1/+1
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-5/+4
2025-02-12Rollup merge of #136806 - adwinwhite:cycle-in-pretty-print-rpitit, r=compiler...Jacob Pratt-43/+45
2025-02-11reduce query calls in pretty printing when finding bounds ofAdwin White-43/+45
2025-02-08Rustfmtbjorn3-8/+10
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-6/+5
2024-12-18Fix const conditions for RPITITsMichael Goulet-4/+3
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-3/+3
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-3/+0
2024-10-26Collect item bounds for RPITITs from trait where clauses just like associated...Michael Goulet-14/+2
2024-10-26Effects cleanupDeadbeef-2/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-4/+32
2024-10-20Inline lower_mono_bounds into lower_poly_boundsMichael Goulet-2/+5
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-9/+4
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-31/+39
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-26/+3
2024-09-25Add a few more tests, commentsMichael Goulet-0/+6
2024-09-25Pull out into helper functionMichael Goulet-99/+112
2024-09-25Collect relevant item bounds from trait clauses for nested rigid projections,...Michael Goulet-10/+216
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-21Assert that explicit_super_predicates_of and explicit_item_bounds truly only ...Michael Goulet-10/+22
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-0/+21
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+6
2024-06-28address review commentsDeadbeef-1/+1
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-3/+6
2024-06-28Implement `Self::Effects: Compat<HOST>` desugaringDeadbeef-3/+1
2024-06-28move desugaring to item boundsDeadbeef-0/+26
2024-06-28implement new effects desugaringDeadbeef-2/+2
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-2/+2
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-19Allow tracing through item_bounds query invocations on opaquesOli Scherer-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-6/+6
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-04-21also remap RPITITs nested in other types back to their opaquesLukas Markeffsky-2/+2
2024-04-04cache type info for ParamEnvLukas Markeffsky-7/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 02:22:43 +0000