summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
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
2022-06-26Rollup merge of #98371 - compiler-errors:better-opaque-printing, r=oli-obkYuki Okushi-0/+45
2022-06-25Rollup merge of #98298 - TaKO8Ki:point-to-type-param-definition, r=compiler-e...Matthias Krüger-6/+6
2022-06-24Fix printing impl trait under bindersMichael Goulet-0/+45
2022-06-24Rollup merge of #98280 - compiler-errors:better-call-closure-on-type-err, r=e...Yuki Okushi-0/+33
2022-06-23Rollup merge of #98259 - jyn514:improve-obligation-errors, r=estebankMichael Goulet-10/+40
2022-06-22Perform coherence checking per impl.Camille GILLOT-20/+20
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-6/+6
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+6
2022-06-21Improve suggestion for calling closure on type mismatchMichael Goulet-0/+33
2022-06-19Greatly improve error reporting for futures and generators in `note_obligatio...Joshua Nelson-10/+40
2022-06-16 fix one more case of trailing spaceklensy-2/+2
2022-06-16diagnostics: fix trailing spaceklensy-1/+1