about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2023-08-28RPITITs capture all their lifetimesMichael Goulet-58/+20
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-120/+26
2023-08-14check for non-defining uses of RPITlcnr-10/+95
2023-08-11Record binder for bare trait object in LifetimeCollectVisitorMichael Goulet-0/+64
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-3/+8
2023-08-08Remove dangling testsMichael Goulet-800/+0
2023-08-08add'l testMichael Goulet-0/+15
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-0/+11
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-0/+21
2023-08-02Remove constness from `TraitPredicate`Deadbeef-2/+15
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-08-01Auto merge of #112849 - m-ou-se:panic-message-format, r=thomccbors-1/+1
2023-07-31Rollup merge of #114182 - Ddystopia:cleanup-after-113312, r=lcnrMatthias Krüger-0/+0
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-30Rollup merge of #113741 - compiler-errors:rpitit-projects-to-missing-opaque, ...Jubilee-0/+26
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-30Rollup merge of #114256 - Urgau:fix-issue-114180, r=WaffleLapkinMatthias Krüger-6/+24
2023-07-30Fix invalid suggestion for mismatched types in closure argumentsUrgau-6/+24
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-29Change default panic handler message format.Mara Bos-1/+1
2023-07-28clean up after 113312Oleksandr Babak-0/+0
2023-07-28Rollup merge of #114147 - compiler-errors:missing-rpitits, r=spastorinoMatthias Krüger-0/+27
2023-07-28Rollup merge of #114146 - compiler-errors:dont-report-rpitit-name, r=spastorinoMatthias Krüger-0/+99
2023-07-28Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnrbors-0/+10
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-10/+9
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-27update tests, adding known-bugDeadbeef-10/+9
2023-07-27Consider a goal as NOT changed if its response is identity modulo regionsMichael Goulet-1/+1
2023-07-20Auto merge of #113622 - RickleAndMortimer:issue-113184-fix, r=oli-obkbors-0/+2
2023-07-19Auto merge of #113690 - aliemjay:opaque-defined-by-trait, r=compiler-errorsbors-0/+12
2023-07-18moved note as unspanned note, moved note to the bottom of the msgnxya-10/+2
2023-07-18added links as a notenxya-2/+2
2023-07-18add links to query documentation for E0391nxya-2/+2
2023-07-18added links as a notenxya-2/+12
2023-07-18add links to query documentation for E0391nxya-2/+2
2023-07-15Check entry type as part of item type checking.Camille GILLOT-8/+8
2023-07-14allow opaques to be defined by trait queriesAli MJ Al-Nasrawy-0/+12
2023-07-10Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errorsbors-85/+408
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-85/+408
2023-07-08Auto merge of #113491 - matthiaskrgr:rollup-mueqz7h, r=matthiaskrgrbors-2/+2
2023-07-08Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillotMatthias Krüger-2/+2
2023-07-08Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnrMatthias Krüger-0/+11