| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-12 | A SubstitutionPart is not a deletion if it replaces nothing with nothing | Michael Goulet | -3/+2 |
| 2022-09-12 | Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnr | Dylan DPC | -0/+72 |
| 2022-09-12 | Rollup merge of #101676 - compiler-errors:rpitit-wf, r=lcnr | Dylan DPC | -0/+49 |
| 2022-09-11 | Only encode RPITIT when trait method has default body | Michael Goulet | -0/+9 |
| 2022-09-11 | Deny RPITIT for object safety | Michael Goulet | -0/+72 |
| 2022-09-11 | Check that the types in RPITITs are WF | Michael Goulet | -0/+49 |
| 2022-09-10 | split compare_predicate_entailment and collect_trait_impl_trait_tys out | Michael Goulet | -10/+5 |
| 2022-09-09 | Tweak feature error, add test | Michael Goulet | -0/+24 |
| 2022-09-09 | Handle generic parameters. | Camille GILLOT | -4/+32 |
| 2022-09-09 | Deeply check that method signatures match, and allow for nested RPITITs | Michael Goulet | -0/+83 |
| 2022-09-09 | Add tests | Michael Goulet | -0/+126 |
| 2022-09-06 | fix RPIT ICE for implicit HRTB when missing dyn | Santiago Pastorino | -0/+43 |
| 2022-08-31 | Rollup merge of #101185 - compiler-errors:tweak-wf-locs, r=davidtwco | Matthias Krüger | -2/+2 |
| 2022-08-31 | Rollup merge of #101100 - compiler-errors:generalize-call-suggestions, r=petr... | Matthias Krüger | -1/+1 |
| 2022-08-30 | Rollup merge of #99928 - compiler-errors:issue-99914, r=oli-obk | Dylan DPC | -0/+34 |
| 2022-08-30 | Tweak WellFormedLocs a bit | Michael Goulet | -2/+2 |
| 2022-08-30 | Rollup merge of #100092 - compiler-errors:issue-100075, r=oli-obk | Dylan DPC | -0/+65 |
| 2022-08-27 | Suggest calling trait objects and parameters too, when possible | Michael Goulet | -1/+1 |
| 2022-08-24 | add a missing test case for impl generic mismatch | Takayuki Maeda | -2/+25 |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -5/+5 |
| 2022-08-18 | Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelix | bors | -57/+47 |
| 2022-08-10 | Fall back when relating two opaques by substs in MIR typeck | Michael Goulet | -0/+65 |
| 2022-08-09 | Add regression test for issue 100187 | Santiago Pastorino | -0/+12 |
| 2022-08-08 | Auto merge of #98863 - compiler-errors:projection-msg, r=estebank | bors | -2/+2 |
| 2022-08-08 | Adjust wording | Michael Goulet | -2/+2 |
| 2022-08-07 | Implement special-cased projection error message for some common traits | Michael Goulet | -2/+2 |
| 2022-08-07 | revive suggestions for boxed trait objects instead of impl Trait | Takayuki Maeda | -0/+29 |
| 2022-08-07 | Rollup merge of #100130 - compiler-errors:erroneous-return-span, r=lcnr | Matthias Krüger | -9/+69 |
| 2022-08-05 | Auto merge of #95977 - FabianWolff:issue-92790-dead-tuple, r=estebank | bors | -1/+1 |
| 2022-08-04 | Completely remove captures flag | Santiago Pastorino | -0/+7 |
| 2022-08-04 | Resolve vars before emitting coerce error | Michael Goulet | -9/+69 |
| 2022-08-03 | Warn about dead tuple struct fields | Fabian Wolff | -1/+1 |
| 2022-07-30 | Do not leak type variables from opaque type relation | Michael Goulet | -0/+34 |
| 2022-07-28 | Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk" | Oli Scherer | -57/+47 |
| 2022-07-28 | Rollup merge of #99714 - ouz-a:issue_57961, r=oli-obk | Dylan DPC | -0/+15 |
| 2022-07-27 | add tests and comment | ouz-a | -0/+15 |
| 2022-07-27 | Rollup merge of #99079 - compiler-errors:issue-99073, r=oli-obk | Yuki Okushi | -21/+20 |
| 2022-07-26 | Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-dead | Dylan DPC | -17/+17 |
| 2022-07-26 | Check that RPITs constrained by a recursive call in a closure are compatible | Michael Goulet | -21/+20 |
| 2022-07-26 | Use real opaque type instead of just saying impl Trait | Michael Goulet | -17/+17 |
| 2022-07-25 | Restore Opaque behavior to coherence check | Michael Goulet | -1/+1 |
| 2022-07-21 | orphan check: opaque types are an error | lcnr | -1/+1 |
| 2022-07-20 | Rollup merge of #99383 - ouz-a:issue_57961, r=oli-obk | Dylan DPC | -7/+17 |
| 2022-07-20 | take opaq types | ouz-a | -7/+17 |
| 2022-07-19 | Do not allow typeck children items to constrain outer RPITs | Michael Goulet | -0/+54 |
| 2022-07-16 | Do not constraint TAITs when checking impl/trait item compatibility | Michael Goulet | -0/+41 |
| 2022-07-08 | Auto merge of #98816 - estebank:implicit-sized, r=oli-obk | bors | -6/+6 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -98/+15 |
| 2022-07-07 | Track implicit `Sized` obligations in type params | Esteban Küber | -6/+6 |
| 2022-07-07 | Shorten span for closures. | Camille GILLOT | -18/+18 |
