From d283455a24148f43d33f69f4be1b627705d35ab6 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 18 Aug 2006 17:09:14 +0000 Subject: fixed bug 704 --- test/files/neg/bug708.check | 5 +++++ test/files/neg/bug708.scala | 12 ++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 test/files/neg/bug708.check create mode 100644 test/files/neg/bug708.scala (limited to 'test/files/neg') diff --git a/test/files/neg/bug708.check b/test/files/neg/bug708.check new file mode 100644 index 0000000000..30b31b662a --- /dev/null +++ b/test/files/neg/bug708.check @@ -0,0 +1,5 @@ +bug708.scala:8 error: error overriding type A$$S in trait X with bounds >: scala.All <: A.this.T; + type A$$S has incompatible type scala.Any + override private[A] type S = Any; + ^ +one error found diff --git a/test/files/neg/bug708.scala b/test/files/neg/bug708.scala new file mode 100644 index 0000000000..f86a005811 --- /dev/null +++ b/test/files/neg/bug708.scala @@ -0,0 +1,12 @@ +trait A { + type T; + trait X { + private[A] type S <: T; + /*private[A]*/ def foo : S; + } + trait Y extends X { + override private[A] type S = Any; + override /*private[A]*/ def foo = null; + } +} + -- cgit v1.2.3