about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2022-10-20Auto merge of #103205 - spastorino:fix-rpits-lifetime-remapping, r=cjgillotbors-0/+23
2022-10-20Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726bors-2/+6
2022-10-19Do anonymous lifetimes remapping correctly for nested rpitsSantiago Pastorino-0/+23
2022-10-18Clean up query descriptionsnils-4/+4
2022-10-15Fix subst issues with RPITITMichael Goulet-0/+18
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-2/+6
2022-10-13Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errorsbors-4/+11
2022-10-12Add broken test for AFIT with RPITITMichael Goulet-0/+33
2022-10-07Unconditionally encode hidden types in typeck resultsOli Scherer-4/+11
2022-10-05Fix test for default body with implMichael Goulet-4/+10
2022-10-05Support default-body trait functions with RPITITMichael Goulet-0/+15
2022-10-04Rollup merge of #102648 - Rageking8:add-test-for-#102605, r=compiler-errorsMatthias Krüger-0/+56
2022-10-04Rollup merge of #102568 - compiler-errors:lint-unsatisfied-opaques, r=oli-obkDylan DPC-0/+108
2022-10-04add test for #102605Rageking8-0/+56
2022-10-02Avoid ICE in printing RPITIT typeMichael Goulet-0/+38
2022-10-02Make it a lint for all opaque typesMichael Goulet-0/+108
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-6/+6
2022-10-01bless ui testsMaybe Waffle-6/+6
2022-09-30Auto merge of #102164 - compiler-errors:rpitit-foreign, r=TaKO8Kibors-0/+20
2022-09-26address reviewb-naber-5/+5
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+64
2022-09-25Rollup merge of #102194 - fee1-dead-contrib:improve-const-drop, r=oli-obkfee1-dead-3/+3
2022-09-24Note the type when unable to drop values in compile timeDeadbeef-3/+3
2022-09-23Report diagnostics at the actually actionable siteOli Scherer-11/+38
2022-09-23Showcase a broken diagnosticOli Scherer-4/+4
2022-09-23Serialize RPITIT values in libsMichael Goulet-0/+20
2022-09-22Calculate ProjectionTy::trait_def_id correctlyMichael Goulet-0/+59
2022-09-21Improve diagnostic for adding more bounds to opaque typesOli Scherer-4/+6
2022-09-21Reproduce sad diagnosticOli Scherer-0/+35
2022-09-13Auto merge of #101086 - cjgillot:thir-param, r=oli-obkbors-0/+10
2022-09-13Simplify MIR building entry.Camille GILLOT-0/+10
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-10/+5
2022-09-12A SubstitutionPart is not a deletion if it replaces nothing with nothingMichael Goulet-3/+2
2022-09-12Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnrDylan DPC-0/+72
2022-09-12Rollup merge of #101676 - compiler-errors:rpitit-wf, r=lcnrDylan DPC-0/+49
2022-09-11Only encode RPITIT when trait method has default bodyMichael Goulet-0/+9
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+72
2022-09-11Check that the types in RPITITs are WFMichael Goulet-0/+49
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-10/+5
2022-09-09Tweak feature error, add testMichael Goulet-0/+24
2022-09-09Handle generic parameters.Camille GILLOT-4/+32
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+83
2022-09-09Add testsMichael Goulet-0/+126
2022-09-06fix RPIT ICE for implicit HRTB when missing dynSantiago Pastorino-0/+43
2022-08-31Rollup merge of #101185 - compiler-errors:tweak-wf-locs, r=davidtwcoMatthias Krüger-2/+2
2022-08-31Rollup merge of #101100 - compiler-errors:generalize-call-suggestions, r=petr...Matthias Krüger-1/+1
2022-08-30Rollup merge of #99928 - compiler-errors:issue-99914, r=oli-obkDylan DPC-0/+34
2022-08-30Tweak WellFormedLocs a bitMichael Goulet-2/+2
2022-08-30Rollup merge of #100092 - compiler-errors:issue-100075, r=oli-obkDylan DPC-0/+65
2022-08-27Suggest calling trait objects and parameters too, when possibleMichael Goulet-1/+1