将T上具有多个参数的泛型函数fun[T]限制为恰好T

trait SameType[T]

object SameType {
  implicit def sameType[T]: SameType[T] = new SameType[T] {}
}

def fun[T](param: T)(implicit ev: SameType[T]): Unit = {
  // 在这里实现泛型函数fun的逻辑
  // fun[T]只接受一个参数，并且该参数的类型与T完全匹配
}

// 使用示例
fun(42)  // 正确，参数类型Int与T完全匹配
fun("hello")  // 正确，参数类型String与T完全匹配
fun(3.14)  // 正确，参数类型Double与T完全匹配
fun(List(1, 2, 3))  // 正确，参数类型List[Int]与T完全匹配
fun((1, "hello"))  // 正确，参数类型Tuple2[Int, String]与T完全匹配

fun(42, "hello")  // 错误，fun[T]只接受一个参数
fun("hello", 42)  // 错误，fun[T]只接受一个参数
fun(List(1, 2, 3), List("hello", "world"))  // 错误，fun[T]只接受一个参数