about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
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-72/+101
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-72/+101
2023-09-26Don't store lazyness in DefKindMichael Goulet-2/+24
2023-09-24Added additional visit steps to visit_generic_param() in order to avoid ICE o...Lenko Donchev-16/+15
2023-09-22Rollup merge of #116039 - estebank:nested-tait, r=compiler-errorsMatthias Krüger-2/+7
2023-09-21Record asyncness span in HIRMichael Goulet-1/+1
2023-09-21Account for nested `impl Trait` in TAITEsteban Küber-2/+7
2023-09-20Auto merge of #115486 - compiler-errors:dont-capture-late-pls, r=cjgillotbors-20/+51
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-1/+4
2023-09-05Correctly deny late-bound lifetimes from parent in anon consts and TAITsMichael Goulet-20/+51
2023-09-01Don't manually walk through param indices when adding implicit Sized and Cons...Michael Goulet-108/+93
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-77/+99
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