diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-05-03 11:23:24 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-05-19 08:32:48 +0200 |
| commit | b26b725ef25a55a325b2c8a44c1ac67272632f14 (patch) | |
| tree | d05eda39d405787a7b2ca651fea8fa2455bd19b7 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 3a97b3fb546bc57afb8cbfadb27eb9e66b0842d1 (diff) | |
| download | dotty-b26b725ef25a55a325b2c8a44c1ac67272632f14.tar.gz dotty-b26b725ef25a55a325b2c8a44c1ac67272632f14.tar.bz2 dotty-b26b725ef25a55a325b2c8a44c1ac67272632f14.zip | |
Handle MergeErrors in RefChecks
Used to throw an uncaught merge error in checkAllOverrides
when compiling i1240c.scala.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions