Fancy generics capture collision

Question

Please give me a hint as to what is going on here:

List a = new ArrayList();
List b = new Array         


        

Answer 1

The thing is:

List a = new ArrayList();
List b = new ArrayList();

could also be read as:

List a = new ArrayList();
List b = new ArrayList();

How should the compiler know that x and y are the same?