blob: 6417b49c2bb12848a1cd059df99844cdce067e61 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait Bip[T] { def h: T }
trait BoolBip extends Bip[Boolean]
class A {
def g(x: Boolean): Unit = ()
def f(xs: List[Bip[_]]) = xs foreach { case x: BoolBip => g(x.h) }
}
class B {
def g(x: Boolean): Unit = ()
def g(x: Int): Unit = ()
def f(xs: List[Bip[_]]) = xs foreach { case x: BoolBip => g(x.h) }
}
|
