为什么 java 编译器不报告 Intellij 中多播表达式的未经检查的强制转换警告？

为什么下面的代码没有报告 Intellij IDEA 的未经检查的警告jdk 1.8.0_121自从Supplier<R> & Serializable是的超类型T?

<T extends Supplier<Integer> & Serializable> T createdBy(AtomicInteger counter) {
    //      v--- if I removed the first cast expression, I can't compile it
    return (T) (Supplier<Integer> & Serializable) counter::incrementAndGet;
    //           ^--- it should be reports unchecked warnings, but it doesn't

}

以下代码报告了未经检查的强制转换警告：

<T, R extends T> R apply(T value) {
    return (R) value;
    //      ^--- unchecked cast 
}

为什么会出现这个问题，在我编写下面的代码以链接具有多个超类型的类型时，发生了有趣的事情：

AtomicInteger counter  = new AtomicInteger(0);
Supplier<Integer>  serialized = serialized(createdBy(counter));

assert serialized.get() == 1; // ok
assert counter.get() == 0 ; // ok

<T extends Serializable> T serialized(T value) {
    return deserialize(serialize(value));
}

我查遍了JLS，但找不到确切的有利证据。有人能告诉我为什么吗？

在 IntelliJ IDEA 中，为了让 java 编译器报告未经检查的警告，您需要添加-Xlint:uncheckedJava 编译器的选项 |附加命令行参数：

如果您尝试使用命令行编译它javac，它也不会向您报告警告本身，但会告诉您如何启用未经检查的警告：

Note: Main.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

如果未指定此选项，IntelliJ IDEA 将显示相同的消息：

添加后-Xlint:unchecked选项，输出将更改为：

Information:javac 1.8.0_121 was used to compile java sources
Information:01.07.2017 16:07 - Compilation completed successfully with 1 warning in 2s 553ms
D:\work\attaches\unchecked\src\Main.java
    Warning:Warning:line (9)java: unchecked cast
  required: T
  found:    java.lang.Object&java.util.function.Supplier<java.lang.Integer>&java.io.Serializable

如您所见，IntelliJ IDEA 的行为与命令行完全相同javac.