diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-17 13:56:22 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-17 13:56:22 +0000 |
| commit | f937d11ad892036fa93b25a2c19d10dcebe4ab24 (patch) | |
| tree | 71f3719509f3fb46f5d2ce5a93da42ea67b23b70 /.vscode/launch.json | |
| parent | edd4c1d8a6c270fe39ae881c23c722c658c87c32 (diff) | |
| parent | 3c7c7e5a04306f8b68dffef2b5ca84628ed81ce2 (diff) | |
Merge #843
843: Impl generics r=matklad a=flodiebold
This handles type parameters on impls when typing method calls.
~One remaining problem is that the autoderefs aren't applied during the unification of the method receiver type with the actual receiver type, which means that the type parameters are only correctly inferred if no autoderefs happened.~
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.vscode/launch.json')
0 files changed, 0 insertions, 0 deletions