From f9fe76375d36cc5355e0e4157ee67d93f8410a0d Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Fri, 30 Jul 2010 11:51:25 +0000 Subject: Fixes an issue in RefChecks when the compiler d... Fixes an issue in RefChecks when the compiler does not have an erasure phase (such as in Scaladoc), which became visible after r22644. Review by odersky. --- src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index ca642d3931..03da1a4f09 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -428,8 +428,10 @@ abstract class RefChecks extends InfoTransform { }) def ignoreDeferred(member: Symbol) = - isAbstractTypeWithoutFBound(member) || - (member.isJavaDefined && javaErasedOverridingSym(member) != NoSymbol) + (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) + ) // 2. Check that only abstract classes have deferred members def checkNoAbstractMembers() = { -- cgit v1.2.3