如果 Kotlin 中的类型参数受另一个类型参数限制，为什么它不能有任何其他限制？

这是显示此问题的最小演示代码：

interface A

fun <T1, T2> test() where T2 : T1, T2 : A {}

当我尝试编译它时，编译器会抱怨：

错误：(81, 25) Kotlin：如果类型参数受另一个类型参数限制，则该类型参数不能有任何其他限制

I read Kotlin 语言规范 http://jetbrains.github.io/kotlin-spec/#_bounds，但只找到以下边界限制：

类型参数不能将自身指定为自己的界限，并且多个类型参数不能以循环方式将彼此指定为界限。

它没有解释我遇到的限制。

我探索了 Kotlin 的问题跟踪器，发现了有关此限制的问题：允许从另一个类型参数和类继承类型参数：KT-13768 https://youtrack.jetbrains.com/issue/KT-13768。然而，该问题已被拒绝，原因如下（2017年5月6日更新：该问题已被Stanislav Erokhin重新打开）：

我认为如果我们删除这个限制，我们就无法将代码正确编译到 JVM。

安德烈·布雷斯拉夫

那么问题来了：如果去掉这个限制，为什么我们就不能将代码正确编译到JVM呢？

同样的演示可以在 Scala 中运行：

trait A

def test[T1, T2 <: T1 with A](): Unit = {}

这表明Scala可以正确地将代码编译到JVM。为什么科特林不能？这是保证 Kotlin 中可判定子类型的限制吗（我猜。Scala 的子类型是不可判定的（Scala 有图灵完备的类型系统）。Kotlin 可能需要像 C# 一样的可判定子类型。）？

@erokhins 回答后更新（https://stackoverflow.com/a/43807444/7964561 https://stackoverflow.com/a/43807444/7964561):

当支持 Java 禁止但 JVM 允许的某些东西时，会出现一些微妙的问题，特别是在 Java 互操作性方面。在深入研究 scalac 生成的字节码时，我发现一个有趣的问题。我将demo中的Scala代码修改如下：

trait A

trait B

def test[T1 <: B, T2 <: T1 with A](t1: T1, t2: T2): Unit = {}

class AB extends A with B

Scalac 将生成以下签名：

// signature <T1::LB;T2:TT1;:LA;>(TT1;TT2;)V
// descriptor: (LB;LB;)V
public <T1 extends B, T2 extends T1 & A> void test(T1, T2);

Invoke test with test(new AB, new AB)在 Scala 中会成功，因为 Scala 调用签名(LB;LB;)V;但调用test(new AB(), new AB());在 Java 中会失败，因为 Java 调用签名(LB;Ljava/lang/Object;)V，导致java.lang.NoSuchMethodError在运行时。这意味着放宽此限制后，scalac 会生成一些无法在 Java 中调用的东西。 Kotlin放松后可能会遇到同样的问题。

做出这个限制是因为java（语言）有它：

  interface A {}
  // Error:(7, 26) java: a type variable may not be followed by other bounds
  <T1, T2 extends T1 & A> void test() {} 

我们假设这在字节码级别也是被禁止的。 我深入研究了一下，似乎这是允许的，并且 scalac 生成以下签名：

  // access flags 0x1
  // signature <T1:Ljava/lang/Object;T2:TT1;:LA;>()V
  // declaration: void test<T1, T2T1 extends A>()
  public test()V

因此，我们可能可以在 kotlin 的未来版本中支持此类情况。

附：据我所知，Kotlin 有可判定的子类型，并且可判定性不受此影响。