SI-8806 Add lower bound check to Any lint

We already exclude the lint check for infer-any if
Any is somewhere explicit.

This commit adds lower bounds of type params to
the somewheres.

Apologies for the "royal we" in the commit message.

Review by @retronym 
Let's stick to `.info` in the compiler. We can also use the convenience method `.bounds`.

```scala
scala> class C[A >: Any]
defined class C

scala> typeOf[C[_]].typeSymbol.typeParams.map(_.info.bounds.lo)
res10: List[$r.intp.global.Type] = List(Any)
```