blob: 586e52cd4fbbc006ff55c2ea5fe25524c4197a43 (
plain) (
blame)
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
}
}
|