generics لماذا يتم ترجمة هذا الرمز العام في java 8؟

لقد عثرت على جزء من التعليمات البرمجية التي تتساءل عن سبب تجميعها بنجاح:

public class Main {
    public static void main(String[] args) {
        String s =  newList(); // why does this line compile?
        System.out.println(s);
    }

    private static <T extends List<Integer>> T newList() {
        return (T) new ArrayList<Integer>();
    }
}

ما المثير للاهتمام هو أنه إذا قمت بتعديل التوقيع على الأسلوب newList مع <T extends ArrayList<Integer>> فإنه لا يعمل بعد الآن.

التحديث بعد التعليقات والردود: إذا قمت بنقل النوع العام من الطريقة إلى الفئة ، فلن يتم ترجمة الشفرة بعد الآن:

public class SomeClass<T extends List<Integer>> {
    public  void main(String[] args) {
        String s = newList(); // this doesn't compile anymore
        System.out.println(s);
    }

    private T newList() {
        return (T) new ArrayList<Integer>();
    }
}