summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
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
2022-07-26Check that RPITs constrained by a recursive call in a closure are compatibleMichael Goulet-21/+20
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-17/+17
2022-07-25Restore Opaque behavior to coherence checkMichael Goulet-1/+1
2022-07-21orphan check: opaque types are an errorlcnr-1/+1
2022-07-20Rollup merge of #99383 - ouz-a:issue_57961, r=oli-obkDylan DPC-7/+17
2022-07-20take opaq typesouz-a-7/+17
2022-07-19Do not allow typeck children items to constrain outer RPITsMichael Goulet-0/+54
2022-07-16Do not constraint TAITs when checking impl/trait item compatibilityMichael Goulet-0/+41
2022-07-08Auto merge of #98816 - estebank:implicit-sized, r=oli-obkbors-6/+6
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-98/+15
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-6/+6
2022-07-07Shorten span for closures.Camille GILLOT-18/+18
2022-07-01Auto merge of #98781 - GuillaumeGomez:rollup-798kb8u, r=GuillaumeGomezbors-4/+0
2022-07-01Only label place where type is needed if span is meaningfulMichael Goulet-4/+0
2022-07-01Shorten def_span for more items.Camille GILLOT-5/+3
2022-07-01Remove type flag based opaque type workaroundOli Scherer-98/+15
2022-06-29Make RPIT and TAIT work exactly the sameOli Scherer-54/+36
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-6/+18
2022-06-27Auto merge of #98221 - cjgillot:single-coh, r=lcnrbors-20/+20