Test case for si-5559.

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
+  }
+
+}
+
+