Skip to content
Permalink
Browse files

Test case for si-5559.

  • Loading branch information
axel22 committed May 2, 2012
1 parent bed7c13 commit 6734215412aa4640d8ad6b00d4fedf43d7e8d0a4
Showing with 23 additions and 0 deletions.
  1. +23 −0 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
}

}


0 comments on commit 6734215

Please sign in to comment.
You can’t perform that action at this time.