about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-1/+1
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-66/+28
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-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-2/+2
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-2/+2
2023-08-06lower impl const to bind to host effect paramDeadbeef-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-30Remap explicit item bounds of RPITIT's opaque back to ty::OpaqueMichael Goulet-2/+46
2023-07-28Type-check generic const itemsLeón Orell Valerian Liehr-70/+45
2023-07-28Lower generic const items to HIRLeón Orell Valerian Liehr-1/+1
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-6/+5
2023-07-22Remove Scope::Elision.Camille GILLOT-38/+21
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-53/+51
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-11/+11
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-6/+2
2023-07-08Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errorsbors-2/+12
2023-07-07Don't ICE in resolve_bound_vars when associated return-type bounds are in bad...Michael Goulet-2/+12
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+10
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-36/+44
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-5/+25
2023-07-04include `host_effect_index` in `Generics`Deadbeef-5/+21
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+5
2023-07-04add testDeadbeef-2/+6
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-3/+16
2023-06-30RPITITs inherit method predicatesMichael Goulet-2/+14
2023-06-30use explicit predicatesMichael Goulet-1/+2
2023-06-30Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit...Matthias Krüger-6/+49
2023-06-29Add bidirectional where clauses on RPITIT synthesized GATsSantiago Pastorino-2/+56
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-4/+4
2023-06-29Extract compute_bidirectional_outlives_predicates fnSantiago Pastorino-33/+51
2023-06-27pass PredicateFilter to compute_boundsMichael Goulet-37/+6
2023-06-27Make associated type bounds in supertrait position impliedMichael Goulet-50/+54
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-68/+34
2023-06-26migrate lifetime tooMichael Goulet-6/+4
2023-06-26Account for late-bound vars from parent arg-position impl traitMichael Goulet-0/+45
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-17/+13
2023-06-19s/Clause/ClauseKindMichael Goulet-17/+25
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-8/+25
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-8/+25
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-11properly check associated consts for infer placeholdersMichael Goulet-2/+14
2023-06-02Rollup merge of #112183 - compiler-errors:new-solver-anon-ct, r=BoxyUwUMichael Goulet-2/+2
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 22:27:56 +0000