如何推断泛型方法调用的类型参数？

Question

有这样的方法吗？

public <P, T extends List<P>> T getAwesomeList() {
    // ...
} 

为什么这会在没有任何警告的情况下编译？

Set<String> test = getAwesomeList();

我认为它与通用擦除有关，但不确定编译器是怎么回事。这种情况发生在Java 7上，8时你会收到编译错误。

J8对此进行了哪些更改无法编译？

更新

经过仔细检查，它也可以在Java 8上编译。