diff options
author | Martin Odersky <odersky@gmail.com> | 2012-09-19 17:03:02 +0200 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-20 09:41:34 -0700 |
commit | d435f72e5fb7fe6486c881e7dd1bdca3743f42d4 (patch) | |
tree | a5218a45899b1b8dd2dab682c8ee08d1bdac634c /test/files/neg | |
parent | e171d6d969fe7ce0dd2fd7a7679d6edb08c7579c (diff) | |
download | scala-d435f72e5fb7fe6486c881e7dd1bdca3743f42d4.tar.gz scala-d435f72e5fb7fe6486c881e7dd1bdca3743f42d4.tar.bz2 scala-d435f72e5fb7fe6486c881e7dd1bdca3743f42d4.zip |
New test case for closing SI-6385
The fixes for SI-6260 + elimination of hlaf-boxing also solve
SI-6385
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t6385.check | 7 | ||||
-rw-r--r-- | test/files/neg/t6385.scala | 13 |
2 files changed, 20 insertions, 0 deletions
diff --git a/test/files/neg/t6385.check b/test/files/neg/t6385.check new file mode 100644 index 0000000000..93e51e8927 --- /dev/null +++ b/test/files/neg/t6385.check @@ -0,0 +1,7 @@ +t6385.scala:12: error: bridge generated for member method x: ()C[T] in class C +which overrides method x: ()C[T] in trait AA +clashes with definition of the member itself; +both have erased type ()Object + def x = this + ^ +one error found diff --git a/test/files/neg/t6385.scala b/test/files/neg/t6385.scala new file mode 100644 index 0000000000..cec58eec9e --- /dev/null +++ b/test/files/neg/t6385.scala @@ -0,0 +1,13 @@ +object N { + def main(args: Array[String]) { + val y: AA[Int] = C(2) + val c: Int = y.x.y + println(c) + } +} +trait AA[T] extends Any { + def x: C[T] +} +case class C[T](val y: T) extends AnyVal with AA[T] { + def x = this +} |