假设我有以下Scala代码的AST：
class Foo
class Bar(val s: Seq[_ <: Foo])
如果t是Bar.s的类型，我会找到
t.typeArgs.head.bounds.lo == t.typeArgs.head.bounds.hi
我也找到了
t.typeArgs.head.bounds.lo.typeSymbol.isCovariant == false
如何检测s被定义为Seq[_ <: Foo]而不是Seq[Foo]？