我遇到了以下Scala代码段，这些代码段代表带有{cons“运算符的\"name\":\"asdsaD\"
name=adsada
name = asdasd
name=asds dfd ad
（类似于List）：
::为什么sealed trait List[+A] {
def ::[A](that: A) = Cons(that, this)
}
final case object Nil extends List[Nothing]
final case class Cons[+A](head: A, tail: List[A]) extends List[A]
是List[Any]的推断返回类型？