about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/item_bounds.rs
AgeCommit message (Expand)AuthorLines
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
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-4/+6
2023-06-27pass PredicateFilter to compute_boundsMichael Goulet-3/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-8/+4
2023-06-22Expect clause moreMichael Goulet-1/+1
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-20/+14
2023-06-19Fully fledged Clause typeMichael Goulet-6/+4
2023-06-19s/Clause/ClauseKindMichael Goulet-3/+5
2023-06-17`Bound::predicates` to return `Clause`dswij-2/+10
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-2/+2
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-2/+2
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-3/+3
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-6/+7
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-5/+6
2023-04-06Make elaborator genericMichael Goulet-1/+1
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-7/+4
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-3/+3
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-10/+14