类型变量不相关的默认继承错误：为什么？

这只是一个错误。事实证明，该错误始于规范，然后扩散到实现中。规范错误在这里：https
:
//bugs.openjdk.java.net/browse/JDK-7120669

该约束是完全有效的；显然可能存在同时扩展I1和I2的类型T。问题在于我们如何验证此类类型的格式正确性。