about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
2023-07-27tighten span slightly for synthetic itemMichael Goulet-2/+2
2023-07-27Skip reporting item name when checking RPITIT GAT's associated type bounds holdMichael Goulet-0/+55
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-85/+408
2023-07-07Add regression test for RPITITsSantiago Pastorino-0/+51
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-15/+52
2023-07-01Rollup merge of #113182 - compiler-errors:rpit-stricter-captures, r=oli-obkMatthias Krüger-24/+167
2023-06-30Additional wf testMichael Goulet-10/+51
2023-06-30RPITITs inherit method predicatesMichael Goulet-5/+1
2023-06-30Rollup merge of #113171 - spastorino:new-rpitit-25, r=compiler-errorsMatthias Krüger-0/+19
2023-06-30Adapt tests from #105258Michael Goulet-6/+151
2023-06-30Flip the order of binder instantiation for better diagnosticsMichael Goulet-13/+7
2023-06-30Error for RPITIT hidden tys that capture more than their trait defnMichael Goulet-17/+21
2023-06-29Properly implement variances_of for RPITIT GATSantiago Pastorino-0/+19
2023-06-29Encode item bounds for DefKind::ImplTraitPlaceholderMichael Goulet-0/+4
2023-06-21Liberate bound vars properly when suggesting missing AFITMichael Goulet-4/+12
2023-06-19Rollup merge of #112596 - compiler-errors:missing-sig-with-rpitit, r=b-naberMichael Goulet-0/+59
2023-06-14Error on unconstrained lifetime in RPITITMichael Goulet-79/+135
2023-06-13Suggest correct signature on missing fn returning RPITIT/AFITMichael Goulet-0/+59
2023-05-12Note base types of coercionMichael Goulet-4/+2
2023-05-04Rollup merge of #111039 - compiler-errors:foreign-span-rpitit, r=tmiaskoMatthias Krüger-6/+30
2023-05-02Mark RPITIT and AFIT as no longer incompleteMichael Goulet-92/+4
2023-04-30Encode def span for foreign RPITITsMichael Goulet-6/+30
2023-03-29Bless some extra working tests under -Zlower-impl-trait-in-trait-to-assoc-tySantiago Pastorino-0/+2
2023-03-29Properly skip RPITITs from ModChild and give a name in AssocItemSantiago Pastorino-1/+1
2023-03-29Walk return-position impl trait in trait deeply in associated_item_def_idsMichael Goulet-5/+16
2023-03-25Rollup merge of #109545 - compiler-errors:rpitit-wf, r=eholkMatthias Krüger-11/+36
2023-03-23Deeply check WF for RPITITsMichael Goulet-11/+36
2023-03-23Rollup merge of #109414 - spastorino:new-rpitit-16, r=compiler-errorsDylan DPC-3/+27
2023-03-21Always encode RPITITsSantiago Pastorino-0/+2
2023-03-21Do not consider synthesized RPITITs on missing items checksSantiago Pastorino-3/+27
2023-03-21Rollup merge of #109240 - compiler-errors:dont-binder-twice, r=oli-obknils-0/+6
2023-03-20Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errorsMatthias Krüger-1/+24
2023-03-20Walk un-shifted nested `impl Trait` in trait when setting up default trait me...Michael Goulet-0/+6
2023-03-18Rollup merge of #109238 - spastorino:new-rpitit-12, r=compiler-errorsMatthias Krüger-1/+16
2023-03-17Fix generics_of for impl's RPITIT synthesized associated typeSantiago Pastorino-0/+8
2023-03-17Fix impl_trait_ty_to_ty substsSantiago Pastorino-1/+16
2023-03-17Add revisions for -Zlower-impl-trait-in-trait-to-assoc-ty fixed testsSantiago Pastorino-5/+51
2023-03-17Fix generics mismatch errors for RPITITs on -Zlower-impl-trait-in-trait-to-as...Santiago Pastorino-1/+16
2023-03-16Don't install default opaque projection predicates in RPITIT associated type'...Michael Goulet-3/+46
2023-03-16Install projection from RPITIT to default trait method opaque correctlyMichael Goulet-1/+14
2023-03-15Add revisions to fixed tests in -Zlower-impl-trait-in-trait-to-assoc-tySantiago Pastorino-7/+90
2023-03-14Rollup merge of #108923 - spastorino:new-rpitit-9, r=compiler-errorsMatthias Krüger-0/+2
2023-03-14Rollup merge of #108909 - spastorino:new-rpitit-7, r=compiler-errorsMatthias Krüger-9/+98
2023-03-14Rollup merge of #108880 - spastorino:new-rpitit-6, r=compiler-errorsMatthias Krüger-36/+91
2023-03-14Make fns from other crates with RPITIT workSantiago Pastorino-0/+2
2023-03-14Auto merge of #104833 - Swatinem:async-identity-future, r=compiler-errorsbors-1/+25
2023-03-12Fix object safety checks for new RPITITsSantiago Pastorino-6/+59
2023-03-12Filter out RPITITs in astconv when checking for missing associated typesSantiago Pastorino-3/+39
2023-03-12Run existing impl trait in traits tests using -Zlower-impl-trait-in-trait-to-...Santiago Pastorino-8/+91
2023-03-12Remove tests/ui/impl-trait/in-trait/new-lowering-strategy in favor of using r...Santiago Pastorino-28/+0