From 47fb4c71effb56201931562c70d7055b8fe66d69 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 7 Aug 2008 11:12:38 +0000
Subject: fixed #828, #1120, subtyping problem with exist...

fixed #828, #1120, subtyping problem with existentials.
---
 test/files/run/existentials.scala | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'test/files/run/existentials.scala')

diff --git a/test/files/run/existentials.scala b/test/files/run/existentials.scala
index 879f445588..fcb5c93213 100755
--- a/test/files/run/existentials.scala
+++ b/test/files/run/existentials.scala
@@ -100,3 +100,7 @@ object Test extends Application {
    val fooW = new FooW
    new fooW.Line
 }
+
+trait FooBar[ A <: Option[_]] { def foo: A }
+trait SubFooBar[B <: Option[_]] extends FooBar[B]
+
-- 
cgit v1.2.3