From cfb8a3bb3e7f881a9d76c990d0a641683f187e71 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 10 Jan 2007 19:41:00 +0000 Subject: --- test/files/run/bug874.check | 4 ++++ test/files/run/bug874.scala | 22 ++++++++++++++++++++++ 2 files changed, 26 insertions(+) create mode 100644 test/files/run/bug874.check create mode 100644 test/files/run/bug874.scala diff --git a/test/files/run/bug874.check b/test/files/run/bug874.check new file mode 100644 index 0000000000..6989e47ff5 --- /dev/null +++ b/test/files/run/bug874.check @@ -0,0 +1,4 @@ +T created +U created with xyz and 2 +T created +U created with abc and 1 diff --git a/test/files/run/bug874.scala b/test/files/run/bug874.scala new file mode 100644 index 0000000000..945a5bf620 --- /dev/null +++ b/test/files/run/bug874.scala @@ -0,0 +1,22 @@ +object Test { + abstract class Base { + type T; + def T : T; + def U[A](x1: A)(x2: int): Any + T; + U("xyz")(2) + } + class Mix extends Base { + case class T { + Console.println("T created") + } + case class U[A](x1: A)(x2: int) { + Console.println("U created with "+x1+" and "+x2) + } + } + def main(args : Array[String]) : Unit = { + val obvious: Base = new Mix; + obvious.T + obvious.U("abc")(1) + } +} -- cgit v1.2.3