```scala class A[+T] { protected[this] def f(t: T) { } } class B extends A[Any] { f() } ``` Doesn't work if compiled together: covariant type T occurs in contravariant position in type T of value t. Works if call to f in B is omitted.