test/pending/pos/t5559.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
  }

}