java – 关于不兼容的转换没有编译器错误

今天我在IDE中打开了一个项目类,看到一个错误(红色下划线),尽管项目已经被成功编译了.

所以代码是：

public interface DatasourceImplementation<T extends Entity> {
     ....
}

public interface Datasource<T extends Entity> {
     ....
}


public interface DsContext {
    @Nullable
    <T extends Datasource> T get(String name);
}

现在我们称之为这样的方法：

DatasourceImplementation dsImpl = getDsContext().get("dsName");

Idea13给了我错误(不兼容的类型) – 我认为是对的.

Idea14在这里没有显示任何错误.

JDK编译没有错误 – 这很难过.

必须说,在我们的项目实现类A接口总是实现B接口(可能解释为什么Idea14表示可以),但在我看来,这无法证明这一行为 – 因为通常我可以创建实现A和不我要实现B.我想在我的代码中静态类型化,我不想看到运行时类转换异常.

那么谁在这里错了？

UPD.添加一个真正的类的屏幕截图(不确定它将会解释更多的东西,它和我所描述的一样)