diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-02 13:23:24 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-03-02 13:23:24 +0000 |
| commit | 79c874803b7c318106c8eb129046667aa3227e3e (patch) | |
| tree | 05b767f16e0a8de971b575c57ea9145d070b4c66 /docs/dev | |
| parent | cf23ca771967d473a2efd0c0b0cf9f285dc3107e (diff) | |
| parent | 336a3c6121edf54a19728dbbd880f62bc835d7c8 (diff) | |
Merge #3385
3385: Fix #3373 r=matklad a=flodiebold
Basically, we need to allow variables in the caller self type to unify with the
impl's declared self type. That requires some more contortions in the variable
handling. I'm looking forward to (hopefully) handling this in a cleaner way when
we switch to Chalk's types and unification code.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions