diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-11 15:54:20 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 15:56:31 +0200 |
| commit | 40675e6939382a9063e5ac812725f93d17f9f98a (patch) | |
| tree | a21b9c43fa8852e568687265a02e18e8a232339b /interfaces/src/dotty/tools/dotc | |
| parent | 14fde01d3576f60585d59d2b00cce8b3c177b236 (diff) | |
| download | dotty-40675e6939382a9063e5ac812725f93d17f9f98a.tar.gz dotty-40675e6939382a9063e5ac812725f93d17f9f98a.tar.bz2 dotty-40675e6939382a9063e5ac812725f93d17f9f98a.zip | |
Fix #2212: Avoid imports in the wrong namespace
Don't issue an error if when considering a named import that
refers to a valoe or type which does not exist. Instead, disregard
the import an continue.
Diffstat (limited to 'interfaces/src/dotty/tools/dotc')
0 files changed, 0 insertions, 0 deletions