summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
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-9/+9
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-10/+11
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-17/+17
2024-03-18Use `hir::Node` helper methods instead of repeat the same impl multiple timesOli Scherer-66/+17
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-4/+2
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-02-21Prevent cycle in implied predicates computationMichael Goulet-8/+22
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-1/+1
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-2/+1
2024-01-08~const trait or projection bounds do not imply non-const boundsMichael Goulet-32/+6
2023-12-15Annotate some bugsMichael Goulet-1/+6
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-5/+5
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-7/+7
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-10-17Auto merge of #116756 - fee1-dead-contrib:dupe-those-bounds, r=oli-obkbors-5/+32
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-1/+3
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-5/+32
2023-10-13Fix a commentDeadbeef-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-09-01Don't manually walk through param indices when adding implicit Sized and Cons...Michael Goulet-29/+5
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-66/+28
2023-08-08Unconditionally record lifetime mappingMichael Goulet-1/+1
2023-08-05Consolidate opaque ty and async fn lowering codeMichael Goulet-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-12/+4
2023-07-28Type-check generic const itemsLeón Orell Valerian Liehr-0/+2
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-21/+20
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+8
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+5
2023-06-30RPITITs inherit method predicatesMichael Goulet-2/+14
2023-06-30use explicit predicatesMichael Goulet-1/+2
2023-06-29Add bidirectional where clauses on RPITIT synthesized GATsSantiago Pastorino-2/+56
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-1/+1
2023-06-29Extract compute_bidirectional_outlives_predicates fnSantiago Pastorino-33/+51
2023-06-27pass PredicateFilter to compute_boundsMichael Goulet-34/+3
2023-06-27Make associated type bounds in supertrait position impliedMichael Goulet-50/+54
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-59/+29
2023-06-19Fully fledged Clause typeMichael Goulet-11/+9
2023-06-19s/Clause/ClauseKindMichael Goulet-13/+19
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-6/+15
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-17`Bound::predicates` to return `Clause`dswij-6/+15
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-5/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 03:08:14 +0000