diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-08-07 11:12:38 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-08-07 11:12:38 +0000 |
| commit | 47fb4c71effb56201931562c70d7055b8fe66d69 (patch) | |
| tree | dee3a6b59a0276d6fddef8f983a2c070e279ff27 /test/files/run/existentials.scala | |
| parent | 1c801f47af1fa34413a9ce749537a9dcb72fdc18 (diff) | |
| download | scala-47fb4c71effb56201931562c70d7055b8fe66d69.tar.gz scala-47fb4c71effb56201931562c70d7055b8fe66d69.tar.bz2 scala-47fb4c71effb56201931562c70d7055b8fe66d69.zip | |
fixed #828, #1120, subtyping problem with exist...
fixed #828, #1120, subtyping problem with existentials.
Diffstat (limited to 'test/files/run/existentials.scala')
| -rwxr-xr-x | test/files/run/existentials.scala | 4 |
1 files changed, 4 insertions, 0 deletions
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] + |