about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
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
2023-05-23Don't ICE on RPITIT when promoting trait preds to associated type boundsMichael Goulet-0/+2
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1
2023-05-08Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi-5/+6
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-5/+6
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-3/+3
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-6/+11
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-7/+11
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-42/+28
2023-04-15fix clippy::{clone_on_copy, useless_conversion}Matthias Krüger-3/+2
2023-04-11Split implied and super predicate queriesMichael Goulet-32/+81
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-61/+60
2023-03-21Use local key in providersMichael Goulet-13/+15
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 08:15:30 +0000