为什么使用Foo [T <：Bar]要求Foo [_ <：Bar]而不是Foo [_]

给定

trait Foo[T <: Bar] {
   def foo: T
}

为什么编译器不解释像签名

def foo(f: Foo[_])

意味着未知_ 一定是一种类型Bar。相反，它迫使我这样做

def foo(f: Foo[_ <: Bar])

这会使签名复杂化。我敢肯定，编译器必须是正确的，我错过了一些细微之处，但显然Foo[X]那里X是不是某种Bar所以不可能通过建设，为什么？

谢谢。