diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-04-07 14:30:56 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-04-07 14:30:56 +0000 |
| commit | 42dbce32957e048173c1749697d6bf9273581030 (patch) | |
| tree | 123bfc813995c1efb19711871ffa6cc494db0e50 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
| parent | 21f3cf0e80286a12c267b9e68c8df8a37f4e0c04 (diff) | |
| download | scala-42dbce32957e048173c1749697d6bf9273581030.tar.gz scala-42dbce32957e048173c1749697d6bf9273581030.tar.bz2 scala-42dbce32957e048173c1749697d6bf9273581030.zip | |
Fixes #2808 without redefining what override me...
Fixes #2808 without redefining what override means. Review by extempore.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 63542e6dd5..18413de51f 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -352,7 +352,7 @@ abstract class RefChecks extends InfoTransform { } else if ((member hasFlag (OVERRIDE | ABSOVERRIDE)) && !(member.owner.thisType.baseClasses exists (_ isSubClass other.owner)) && !member.isDeferred && !other.isDeferred && - intersectionIsEmpty(member.allOverriddenSymbols, other.allOverriddenSymbols)) { + intersectionIsEmpty(member.extendedOverriddenSymbols, other.extendedOverriddenSymbols)) { overrideError("cannot override a concrete member without a third member that's overridden by both "+ "(this rule is designed to prevent ``accidental overrides'')") } else if (other.isStable && !member.isStable) { // (1.4) |