List<String> ls = new ArrayList<String>(); List<Object> lo = ls; // ?? lo.add (new Object ()); String s = ls.get (0); // !!
D. h., die Annahme
S extends T => G<S> extends G<T>
führt zu Typfehlern.
Es gilt nicht List<String> extends List<Object>
.