scala进阶7-类型约束

object Type_Contraints {  //A =:= B //表示A类型等同于B类型  //A <:< B //表示A类型是B类型的子类    //本函数包含一个隐式参数,限定T是指定类型  def rocky[T](i: T)(implicit  env: T <:< java.io.Serializable): Unit = {    println("hello")  }  rocky("world")}