From d435f72e5fb7fe6486c881e7dd1bdca3743f42d4 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 19 Sep 2012 17:03:02 +0200 Subject: New test case for closing SI-6385 The fixes for SI-6260 + elimination of hlaf-boxing also solve SI-6385 --- test/files/neg/t6385.check | 7 +++++++ test/files/neg/t6385.scala | 13 +++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 test/files/neg/t6385.check create mode 100644 test/files/neg/t6385.scala (limited to 'test/files') 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 +} -- cgit v1.2.3