about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/item_bounds.rs
AgeCommit message (Expand)AuthorLines
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
2024-03-22Rename module astconv to hir_ty_loweringLeón Orell Valerian Liehr-1/+1
2024-03-22Update local variables and tracing callsLeón Orell Valerian Liehr-6/+6
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-2/+2
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-5/+5
2024-03-20Split item bounds and item super predicatesMichael Goulet-5/+49
2024-03-03Add a proper `with_no_queries` to printingJohn Kåre Alsaker-1/+1
2023-12-15Annotate some bugsMichael Goulet-3/+5
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-3/+2
2023-12-12clippy::complexity fixesMatthias Krüger-7/+4
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-3/+2
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-2/+2
2023-07-30Remap explicit item bounds of RPITIT's opaque back to ty::OpaqueMichael Goulet-2/+46
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-6/+6
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-6/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 01:49:05 +0000