从未知类型推断类型

Question

在Java中，无法实例化未知类型的集合：

List<?> list1 = new ArrayList<?>()

给出以下错误

required: class or interface without bounds
  found:    ?
1 error

但是在做

List<?> list2 = new ArrayList<>();

编译没有错误。

我的问题如下：推断的类型是什么，背后的逻辑是什么？