diff options
| author | odersky <odersky@gmail.com> | 2016-02-20 18:24:19 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2016-02-20 18:24:19 +0100 |
| commit | 11bd355128fb6e0457f70baea235aaba91deb888 (patch) | |
| tree | d210781b8a65e67367f3cd9cd72ca345f5d6e528 /src/dotty/tools/dotc/typer/ErrorReporting.scala | |
| parent | 6e535f7dc855d1587142f81bd9a53ea9ba3c7300 (diff) | |
| parent | 0f4d74d9bc7ef99599082b403cb3aa55d181a071 (diff) | |
| download | dotty-11bd355128fb6e0457f70baea235aaba91deb888.tar.gz dotty-11bd355128fb6e0457f70baea235aaba91deb888.tar.bz2 dotty-11bd355128fb6e0457f70baea235aaba91deb888.zip | |
Merge pull request #1117 from dotty-staging/dont-create-companions
Do not create companions that will be dropped later.
Diffstat (limited to 'src/dotty/tools/dotc/typer/ErrorReporting.scala')
0 files changed, 0 insertions, 0 deletions