Fixed structural subtyping to work when JVM 1.5...

Fixed structural subtyping to work when JVM 1.5 target is used. Bug 711
no longer is “neg” thanks to structural subtyping.

1 files changed, 14 insertions, 0 deletions

diff --git a/test/files/pos/bug711.scala b/test/files/pos/bug711.scala
new file mode 100644
index 0000000000..70fcc7f0d0
--- /dev/null
+++ b/test/files/pos/bug711.scala
@@ -0,0 +1,14 @@
+abstract class Component
+
+class Button extends Component {
+  def sayHey: Unit = Console.println("Hey, I'm a button") }
+
+abstract class Origin {
+  val delegate: Component }
+
+object main extends Origin with Application {
+  val delegate: Component {
+    def sayHey: Unit
+  } = new Button
+  delegate.sayHey
+}