diff options
| author | odersky <odersky@gmail.com> | 2016-10-13 19:55:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-13 19:55:42 +0200 |
| commit | 6095454e05ba4446fca446c5b53e80180d69b127 (patch) | |
| tree | cd2c84911bbbf49a33a27de5c444de48741508c4 /src/dotty/tools/dotc/core/tasty/TreePickler.scala | |
| parent | 4f8a85c3f174a2fd04073475cef87691057af9bf (diff) | |
| parent | 13c5c28671cb8b61fd28661629e88e24f3b92faf (diff) | |
| download | dotty-6095454e05ba4446fca446c5b53e80180d69b127.tar.gz dotty-6095454e05ba4446fca446c5b53e80180d69b127.tar.bz2 dotty-6095454e05ba4446fca446c5b53e80180d69b127.zip | |
Merge pull request #1577 from dotty-staging/fix-1543-2
Fix #1543: Ignore IgnoredProto when normalizing method application.
Diffstat (limited to 'src/dotty/tools/dotc/core/tasty/TreePickler.scala')
0 files changed, 0 insertions, 0 deletions