From d9e7e347c74a5c89b5594254ddfccf5dd7e9377c Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 13 Oct 2010 19:01:25 +0000 Subject: Closes #3894. Review by dubochet. --- src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 08fb0438de..7ea2aeec45 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -476,10 +476,10 @@ abstract class RefChecks extends InfoTransform { }) def ignoreDeferred(member: Symbol) = - (currentRun.erasurePhase != NoPhase) && ( // the test requires atPhase(erasurePhase.next) so shouldn't be done if the compiler has no erasure phase available - isAbstractTypeWithoutFBound(member) || - (member.isJavaDefined && javaErasedOverridingSym(member) != NoSymbol) - ) + isAbstractTypeWithoutFBound(member) || + (member.isJavaDefined && + (currentRun.erasurePhase == NoPhase || // the test requires atPhase(erasurePhase.next) so shouldn't be done if the compiler has no erasure phase available + javaErasedOverridingSym(member) != NoSymbol)) // 2. Check that only abstract classes have deferred members def checkNoAbstractMembers() = { -- cgit v1.2.3