JavaTXCompilerInJavaTX/examples/luar/WCTest2.jav

Stack<a> Menge<? extends Number> 
AbstractList<Integer> List<a>

/* funktioniert */

class Number {}
class Integer extends Number {}

class AbstractList<a> extends List<a> {}
class List<a> {}
class Menge<a> extends List<a> {}
class Stack<a> extends Menge<a> {}