summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
2023-09-26Anonymize binders for refining_impl_trait checkMichael Goulet-0/+13
2023-09-22Need to use hybrid param-env to make sure implication is not circularMichael Goulet-0/+42
2023-09-22Use placeholders to prevent using inferred RPITIT types to imply their own WF...Michael Goulet-0/+39
2023-09-07Add noteMichael Goulet-0/+5
2023-09-07Don't emit refining_impl_trait for private itemsMichael Goulet-43/+66
2023-09-07Use self instead of the actual self tyMichael Goulet-2/+2
2023-09-07Implement refinement lint for RPITITMichael Goulet-13/+133
2023-09-02Do not require associated types with Self: Sized to uphold bounds when confir...Michael Goulet-1/+17
2023-09-02RPITITs are considered object-safe, they're always on Self:Sized methodsMichael Goulet-18/+29
2023-08-30Capture lifetimes for associated type bounds destined to be lowered to opaquesMichael Goulet-0/+19
2023-08-28Auto merge of #115326 - matthiaskrgr:rollup-qsoa8ar, r=matthiaskrgrbors-1/+0
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-1/+0
2023-08-28Better error message for object type with GATMichael Goulet-6/+12
2023-08-28Test variances of opaque capturesMichael Goulet-0/+46
2023-08-28Bless testsMichael Goulet-9/+32
2023-08-28RPITITs capture all their lifetimesMichael Goulet-58/+20
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-0/+1
2023-08-08Remove dangling testsMichael Goulet-800/+0
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-0/+11
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-0/+35
2023-08-01Suppress unnecessary outlivesMichael Goulet-18/+2
2023-07-31Don't check unnecessarily that impl trait is RPITMichael Goulet-0/+51
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-25/+1
2023-07-30Don't install default projection bound for RPITITsMichael Goulet-0/+26
2023-07-30Remap explicit item bounds of RPITIT's opaque back to ty::OpaqueMichael Goulet-25/+1
2023-07-29some nits, bless testMichael Goulet-16/+2
2023-07-29Implement assumed_wf_types for RPITITs' implementationsMichael Goulet-0/+29
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-4/+0
2023-07-28Rollup merge of #114147 - compiler-errors:missing-rpitits, r=spastorinoMatthias Krüger-0/+27
2023-07-27Add additional testMichael Goulet-0/+44
2023-07-27Insert RPITITs that were shadowed by missing ADTs that resolve to type errorMichael Goulet-0/+27
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 07:20:07 +0000