about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2023-10-05move subtyper change reveal_allouz-a-0/+25
2023-10-05Rollup merge of #116431 - estebank:issue-80476, r=compiler-errorsJubilee-104/+104
2023-10-05Rollup merge of #116296 - compiler-errors:default-return, r=estebankJubilee-2/+2
2023-10-05Auto merge of #116273 - compiler-errors:refine2, r=tmandrybors-0/+11
2023-10-05Auto merge of #116184 - compiler-errors:afit-lint, r=tmandrybors-3/+13
2023-10-05Add a note to duplicate diagnosticsAlex Macleod-0/+4
2023-10-04Point to where missing return type should goMichael Goulet-2/+2
2023-10-04Tweak wording of E0562Esteban Küber-104/+104
2023-10-04Relate AliasTy considering varianceMichael Goulet-0/+14
2023-10-04Show suggestion for `<SelfTy as Trait>::assoc_fn` in more cases and fmt codeEsteban Küber-0/+10
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-24/+19
2023-10-03Bless testsMichael Goulet-3/+13
2023-10-02Point out the actual mismatch errorMichael Goulet-0/+1
2023-10-02For a single impl candidate, try to unify it with error trait refMichael Goulet-2/+2
2023-09-29Only trigger refine lint on reachable traitsMichael Goulet-0/+11
2023-09-28Auto merge of #115659 - compiler-errors:itp, r=cjgillotbors-19/+42
2023-09-27Rollup merge of #116149 - compiler-errors:anonymize, r=lcnrMatthias Krüger-0/+13
2023-09-27Auto merge of #116156 - oli-obk:opaque_place_unwrap, r=compiler-errorsbors-0/+36
2023-09-26Anonymize binders for refining_impl_trait checkMichael Goulet-0/+13
2023-09-26Auto merge of #116072 - compiler-errors:rpitit-implied-bounds, r=aliemjaybors-0/+81
2023-09-25Only prevent field projections into opaque types, not types containing opaque...Oli Scherer-0/+36
2023-09-23Bless tests.Camille GILLOT-23/+17
2023-09-23Revert duplication of tests.Camille GILLOT-350/+21
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-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-30/+30
2023-09-22Auto merge of #114776 - fee1-dead-contrib:enable-effects-in-libcore, r=oli-obkbors-21/+4
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-30/+30
2023-09-21update testslcnr-4/+1
2023-09-20bless the known-bug testsDeadbeef-7/+1
2023-09-20Enable effects for libcoreDeadbeef-18/+7
2023-09-14Paper over an accidental regressionOli Scherer-0/+13
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-3/+21
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-3/+21
2023-09-08Stabilize impl_trait_projectionsMichael Goulet-19/+42
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-31Auto merge of #115366 - compiler-errors:associated-type-bound-implicit-lifeti...bors-0/+19
2023-08-30Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"Oli Scherer-8/+6
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-128/+29
2023-08-28Rollup merge of #115311 - dtolnay:usearcself, r=compiler-errorsMatthias Krüger-8/+3
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-8/+3
2023-08-28Better error message for object type with GATMichael Goulet-6/+12
2023-08-28Test variances of opaque capturesMichael Goulet-0/+88
2023-08-28Bless testsMichael Goulet-9/+32