请教大家关于 JDK 的 Arrays 类的 copyOf 方法

想问下 jdk 的 Arrays 工具类的 copyof 方法，不能保证把 original 的元素“扔到”新数组中去啊。 为什么不限定 T 和 U 的关系呢？比如 public static <T,U extends T> T[] copyOf(U[] original, int newLength, Class<T[]> newType)。

public static <T,U> T[] copyOf(U[] original, int newLength, Class<? extends T[]> newType) {
        @SuppressWarnings("unchecked")
        T[] copy = ((Object)newType == (Object)Object[].class)
            ? (T[]) new Object[newLength]
            : (T[]) Array.newInstance(newType.getComponentType(), newLength);
        System.arraycopy(original, 0, copy, 0,
                         Math.min(original.length, newLength));
        return copy;
}

想听听大佬们的看法。