diff options
Diffstat (limited to 'test/pending/pos/t5559.scala')
| -rw-r--r-- | test/pending/pos/t5559.scala | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/test/pending/pos/t5559.scala b/test/pending/pos/t5559.scala deleted file mode 100644 index 586e52cd4f..0000000000 --- a/test/pending/pos/t5559.scala +++ /dev/null @@ -1,23 +0,0 @@ - - - - -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 - } - -} - - |