about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/item_bounds.rs
AgeCommit message (Expand)AuthorLines
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
2023-03-21Use local key in providersMichael Goulet-10/+13
2023-03-16Install projection from RPITIT to default trait method opaque correctlyMichael Goulet-14/+22
2023-03-06Properly implement explicit_item_bounds for RPITITs trait assoc tySantiago Pastorino-11/+23
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-3/+7
2023-01-11Add `AstConv::astconv` method to remove `<dyn AstConv>::` callsMaybe Waffle-4/+4
2022-12-28Rework hir Bounds collectionMichael Goulet-6/+4
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-3/+5
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+110