If a class has a convariant type parameter such as Iterable[+A], is there any difference between declaring

def foo(bar: Iterable[_])

and

def foo(bar: Iterable[Any])

?

If a class has a contravariant type parameter such as Growable[-A], is there any difference between declaring

def foo(bar: Growable[_])

and

def foo(bar: Growable[Nothing])

?

scala wildcard covariance contravariance type-systems
Edit
Report