为什么此Java 8程序无法编译？

Question

该程序在Java 7中（或在Java 8中带有-source 7）可以很好地编译，但是在Java 8中无法编译：

interface Iface<T> {}
class Impl implements Iface<Impl> {}

class Acceptor<T extends Iface<T>> {
    public Acceptor(T obj) {}
}

public class Main {
    public static void main(String[] args) {
        Acceptor<?> acceptor = new Acceptor<>(new Impl());
    }
}

结果：

Main.java:10: error: incompatible types: cannot infer type arguments for Acceptor<>
        Acceptor<?> acceptor = new Acceptor<>(new Impl());
                                           ^
    reason: inference variable T has incompatible bounds
      equality constraints: Impl
      upper bounds: Iface<CAP#1>,Iface<T>
  where T is a type-variable:
    T extends Iface<T> declared in class Acceptor
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Iface<CAP#1> from capture of ?
1 error

换句话说，这是Java 7和8之间的 反向 源不兼容。我已经遍历了Java SE 8和Java SE
7
列表之间的不兼容性，但是没有找到任何适合我的问题的东西。

那么，这是一个错误吗？

环境：

$ /usr/lib/jvm/java-8-oracle/bin/java -version
java version "1.8.0"
Java(TM) SE Runtime Environment (build 1.8.0-b132)
Java HotSpot(TM) 64-Bit Server VM (build 25.0-b70, mixed mode)

Answer 1

感谢您的报告。这看起来像个错误。我会照顾好它，并且一旦我们有更多关于为什么发生这种情况的信息，可能会添加一个更好的答案。我已将此错误条目JDK-8043926归档，以对其进行跟踪。