summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2023-05-26Rollup merge of #111947 - obeis:issue-111943, r=compiler-errorsMatthias Krüger-0/+38
2023-05-26Add test for RPIT defined with different hidden types with different substsObei Sideg-0/+38
2023-05-25Don't print newlines in APITsMichael Goulet-0/+44
2023-05-18Remove return type sized check hack from hir typeckMichael Goulet-51/+5
2023-05-18Simplify suggestion when returning bare dyn traitMichael Goulet-90/+84
2023-05-16Use error term if missing associated item in new solverMichael Goulet-1/+15
2023-05-13improve error for `impl<..> impl Trait for Type`y21-0/+64
2023-05-13Rollup merge of #111451 - compiler-errors:note-cast-origin, r=b-naberDylan DPC-4/+2
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-0/+134
2023-05-12Note base types of coercionMichael Goulet-4/+2
2023-05-05Rollup merge of #111052 - nnethercote:fix-ice-test, r=NilstriebYuki Okushi-19/+5
2023-05-05Don't print backtrace on ICEs in `issue-86800.rs`.Nicholas Nethercote-19/+5
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-04-25vars are ?Michael Goulet-2/+2
2023-04-21Auto merge of #96840 - cjgillot:query-feed, r=oli-obkbors-2/+2
2023-04-21Auto merge of #110370 - c410-f3r:dqewdas, r=petrochenkovbors-0/+7
2023-04-20Move test filesCaio-0/+7
2023-04-20Give more descriptive names to queries.Camille GILLOT-2/+2
2023-04-16Account for variance in outlives verification.Camille GILLOT-21/+0
2023-04-16Add tests.Camille GILLOT-0/+72
2023-04-12Special-case item attributes in the suggestion outputEsteban Küber-14/+0
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-14/+28
2023-04-12Split out a separate feature gate for impl trait in associated typesOli Scherer-78/+74
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-03Perform match checking on THIR.Camille GILLOT-0/+10
2023-03-30Rollup merge of #109509 - ehuss:overlapping-tests, r=Mark-SimulacrumYuki Okushi-0/+0
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-23Nested impl traits trigger opaque_hidden_inferred_bound too muchMichael Goulet-36/+0
2023-03-22Rename tests to ensure they don't have overlapping names.Eric Huss-0/+0
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