Java: метод Vararg вызывается с явным массивом подклассов

Рассмотрим следующий пример, игнорируя причину, по которой можно было бы это сделать:

private static class Original {
    public String getValue() {
        return "Foo";
    }
}

private static class Wrapper extends Original {
    private Original orig;

    public Wrapper(Original orig) {
        this.orig = orig;
    }

    @Override
    public String getValue() {
        return orig.getValue();
    }
}

public static void test(Original... o) {
    if (o != null && o.length > 0) {
        for (int i = 0; i < o.length; i++) {
            if (o[i] instanceof Wrapper) {
                o[i] = ((Wrapper) o[i]).orig; // Throws java.lang.ArrayStoreException at runtime
            }
        }
    }
}

public static void main(String[] args){
    test(new Wrapper[] { // Explicitly create an array of subclass type
        new Wrapper(new Original())
    });
}

Этот пример не выдает предупреждений или ошибок во время компиляции. Похоже, что компилятор решает, что Wrapper[] содержит Wrapper экземпляров, что фактически означает, что это определенно экземпляры класса Original. Это прекрасно.

Однако во время выполнения экземпляр Wrapper[] напрямую передается в метод. Я думал, что было бы достаточно разумно разорвать этот массив и воссоздать экземпляр Original[] во время выполнения, но похоже, что это не так.

Это поведение где-нибудь задокументировано (например, JLS)? Обычный программист вроде меня всегда будет предполагать, что я могу манипулировать параметром vararg Original..., как будто это Original[].