diff options
author | Aleksandar Prokopec <axel22@gmail.com> | 2012-05-02 18:20:58 +0200 |
---|---|---|
committer | Aleksandar Prokopec <axel22@gmail.com> | 2012-05-02 18:20:58 +0200 |
commit | 6734215412aa4640d8ad6b00d4fedf43d7e8d0a4 (patch) | |
tree | 8ba87f0d845c65d1c07d5350ee00f5a7b9d98723 | |
parent | bed7c1367f8cb9aaf9a93d797a5db512d610b826 (diff) | |
download | scala-6734215412aa4640d8ad6b00d4fedf43d7e8d0a4.tar.gz scala-6734215412aa4640d8ad6b00d4fedf43d7e8d0a4.tar.bz2 scala-6734215412aa4640d8ad6b00d4fedf43d7e8d0a4.zip |
Test case for si-5559.
-rw-r--r-- | test/pending/pos/t5559.scala | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/pending/pos/t5559.scala b/test/pending/pos/t5559.scala new file mode 100644 index 0000000000..586e52cd4f --- /dev/null +++ b/test/pending/pos/t5559.scala @@ -0,0 +1,23 @@ + + + + +object Test { + + class Inv[T] + + def foo[S](interface: Inv[_ >: S], implementation: Inv[S]) {} + + def bar[R, T <: R](interface: Inv[R], impl: Inv[T]) { + //foo[T](interface, impl) + foo(interface, impl) // Compilation Error + // Inv[R] <: Inv[_ >: S] + // Inv[T] <: Inv[S] + // ---------------------- + // R >: S + // T == S + } + +} + + |