14.10 理解Scala的类型推断算法