JavaPatternMatching/examples/luar/WCTest10.jav

/* Menge<BigBig<? super Number,a,? extends Number>> Menge<? super Big<Integer,b,c,d>> */

/* FUNKTIONIERT!! */

Big2<Integer,Number,Menge<Integer>,d,e,f> BigBig2<aa,bb,cc,dd,ee,ff>

/* Funktioniert auch!!! */

class Big<a,b,c,d> extends BigBig<c,a,Integer> {}
class BigBig<a,b,c> {}

class Big2<a,b,c,d,e,f> extends BigBig2<e,c,f,b,a,d> {}
class BigBig2<a,b,c,d,e,f> {}

class Menge<a> {}
class Integer extends Number {}
class Number {}