diff options
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 | ||||
| -rw-r--r-- | test/files/neg/bug856.check | 4 | ||||
| -rw-r--r-- | test/files/neg/bug856.scala | 11 |
3 files changed, 16 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index e2c04090da..648002ed9d 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -221,7 +221,7 @@ abstract class RefChecks extends InfoTransform { else clazz.toString() + " needs to be abstract") + ", since " + msg); clazz.setFlag(ABSTRACT) } - for (val member <- clazz.tpe.members) + for (val member <- clazz.tpe.nonPrivateMembers) if ((member hasFlag DEFERRED) && !(clazz hasFlag ABSTRACT)) { abstractClassError( false, infoString(member) + " is not defined" + analyzer.varNotice(member)) diff --git a/test/files/neg/bug856.check b/test/files/neg/bug856.check new file mode 100644 index 0000000000..5f5948c2cf --- /dev/null +++ b/test/files/neg/bug856.check @@ -0,0 +1,4 @@ +bug856.scala:3 error: class ComplexRect needs to be abstract, since method _2 in trait Product2 of type => scala.Double is not defined +class ComplexRect(val _1:double, _2:double) extends Complex { +^ +one error found diff --git a/test/files/neg/bug856.scala b/test/files/neg/bug856.scala new file mode 100644 index 0000000000..1f69b592bf --- /dev/null +++ b/test/files/neg/bug856.scala @@ -0,0 +1,11 @@ +trait Complex extends Product2[double,double] + +class ComplexRect(val _1:double, _2:double) extends Complex { + override def toString = "ComplexRect("+_1+","+_2+")" +} + +object Test { + def main(args:Array[String]) = { + new ComplexRect(1,1)._2 + } +} |