diff options
author | Martin Odersky <odersky@gmail.com> | 2006-11-01 10:22:53 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-11-01 10:22:53 +0000 |
commit | 39ac777cddd626507410872517c89545b0c2277d (patch) | |
tree | 94578213f824b2fc75e71d5cbb690341a3f845f9 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | c0d02903797c4c83aaeb17079c3bdbdf33ebfc42 (diff) | |
download | scala-39ac777cddd626507410872517c89545b0c2277d.tar.gz scala-39ac777cddd626507410872517c89545b0c2277d.tar.bz2 scala-39ac777cddd626507410872517c89545b0c2277d.zip |
fixed bug758
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index fe4beef15f..b2abba5934 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -192,8 +192,9 @@ abstract class RefChecks extends InfoTransform { } else if (other.isAbstractType) { if (!member.typeParams.isEmpty) // (1.7) overrideError("may not be parameterized"); - if (!(self.memberInfo(other).bounds containsType self.memberType(member))) // (1.7) - overrideTypeError(); + if (!(self.memberInfo(other).bounds containsType self.memberType(member))) { // (1.7) { + overrideTypeError(); // todo: do an explaintypes with bounds here + } } else if (other.isTerm) { if (!overridesType(self.memberInfo(member), self.memberInfo(other))) { // 8 overrideTypeError(); |