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")
}