diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-03 20:11:04 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-03 20:11:04 +0200 |
| commit | 6ad6ca73c9893eb20d908c383ea24ff2cc200406 (patch) | |
| tree | dfd67ed1490127ba2ccc5b861d0a21710af7d7e8 | |
| parent | a0f5c20abb925b60ae879dc928e29f3f38eb24e1 (diff) | |
| download | dotty-6ad6ca73c9893eb20d908c383ea24ff2cc200406.tar.gz dotty-6ad6ca73c9893eb20d908c383ea24ff2cc200406.tar.bz2 dotty-6ad6ca73c9893eb20d908c383ea24ff2cc200406.zip | |
Refchecks runs before resolveSuper: superAccessors not yet materialised.
| -rw-r--r-- | src/dotty/tools/dotc/typer/RefChecks.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala index 532668a67..eeed83bb5 100644 --- a/src/dotty/tools/dotc/typer/RefChecks.scala +++ b/src/dotty/tools/dotc/typer/RefChecks.scala @@ -362,6 +362,7 @@ object RefChecks { def ignoreDeferred(member: SingleDenotation) = member.isType || + member.symbol.is(SuperAccessor) || // not yet synthesized member.symbol.is(JavaDefined) && hasJavaErasedOverriding(member.symbol) // 2. Check that only abstract classes have deferred members |