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

Question

有这样的方法吗？

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

怎么编译没有任何警告？

Set<String> test = getAwesomeList();

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

J8上有什么变化让这个不能编译？

更新:

经过仔细检查后,它还可以在Java 8上编译.