From 6734215412aa4640d8ad6b00d4fedf43d7e8d0a4 Mon Sep 17 00:00:00 2001 From: Aleksandar Prokopec Date: Wed, 2 May 2012 18:20:58 +0200 Subject: Test case for si-5559. --- test/pending/pos/t5559.scala | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 test/pending/pos/t5559.scala (limited to 'test/pending/pos/t5559.scala') 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 + } + +} + + -- cgit v1.2.3