设T1, T2, T3三种类型。我们还定义了该类的两个给定实例Conversion，以便编译器可以从T1toT2和从T2to进行转换T3。
下面的代码可以正常编译：
type T1
type T2
type T3
given Conversion[T1, T2] with
override def apply(x: T1): T2 = ???
given Conversion[T2, T3] with
override def apply(x: T2): T3 = ???
val t1: T1 = ???
val t2: T2 = t1
val t3: T3 = t2
但是当我们尝试从T1到 时会发生什么T3？编译器不会让我们：
val t3: T3 = t1
^^
Found: (t1: T1)
Required: T3
我的问题：编译器无法本机（参见解决方法）链转换是否有特定原因？
我的解决方法 …