about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
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-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
2022-08-24add a missing test case for impl generic mismatchTakayuki Maeda-2/+25
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-5/+5
2022-08-18Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-57/+47
2022-08-10Fall back when relating two opaques by substs in MIR typeckMichael Goulet-0/+65
2022-08-09Add regression test for issue 100187Santiago Pastorino-0/+12
2022-08-08Auto merge of #98863 - compiler-errors:projection-msg, r=estebankbors-2/+2
2022-08-08Adjust wordingMichael Goulet-2/+2
2022-08-07Implement special-cased projection error message for some common traitsMichael Goulet-2/+2
2022-08-07revive suggestions for boxed trait objects instead of impl TraitTakayuki Maeda-0/+29
2022-08-07Rollup merge of #100130 - compiler-errors:erroneous-return-span, r=lcnrMatthias Krüger-9/+69
2022-08-05Auto merge of #95977 - FabianWolff:issue-92790-dead-tuple, r=estebankbors-1/+1
2022-08-04Completely remove captures flagSantiago Pastorino-0/+7
2022-08-04Resolve vars before emitting coerce errorMichael Goulet-9/+69
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-1/+1
2022-07-30Do not leak type variables from opaque type relationMichael Goulet-0/+34
2022-07-28Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk"Oli Scherer-57/+47
2022-07-28Rollup merge of #99714 - ouz-a:issue_57961, r=oli-obkDylan DPC-0/+15
2022-07-27add tests and commentouz-a-0/+15
2022-07-27Rollup merge of #99079 - compiler-errors:issue-99073, r=oli-obkYuki Okushi-21/+20
2022-07-26Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-deadDylan DPC-17/+17