看源码的时候看到：
trait ExtensionId[T <: Extension] {
没见过这个符号啊<:
Scala上界(<:)和下界(>:)
1） U >: T
这是类型下界的定义，也就是U必须是类型T的父类(或本身，自己也可以认为是自己的父类)。
2) S <: T
这是类型上界的定义，也就是S必须是类型T的子类（或本身，自己也可以认为是自己的子类)。
然后scala中的泛型符号是[T]，而不是Java中的<T>.
对于一个带类型参数的类型，比如 List[T]，如果对A及其子类型B，满足 List[B]也符合List[A]的子类型，那么就称为covariance(协变) ，
如果 List[A]是 List[B]的子类型，即与原来的父子关系正相反，则称为contravariance(逆变)。
如果一个类型支持协变或逆变，则称这个类型为variance(翻译为可变的或变型)，否则称为invariance(不可变的)
而Scala支持，可以在定义类型时声明(用加号表示为协变，减号表示逆变)，如:
tarit Person[+T]{} --协变，在这种情况下，假设S类型是A类型的子类，则Person[S]类型可泛化成Person[T]的子类，也就是被参数化类型的泛化方向与参数类型的方向是一致的，所以称为协变。
tarit Person[-T]{} --逆变，这种情况下，当类型S是类型A的子类型，则Person[A]反过来可以认为是Person[S]的子类型。也就是被参数化类型的泛化方向与参数类型的方向是相反的，所以称为逆变
...
http://blog.csdn.net/w517424787/article/details/51201468