Maurizio and all, Do you believe that the "simple approach" is a subset of the "complex approach"? For the changes recommended regarding the JLS, I hope they would nicely pave the way for the complex approach later on. It would be a shame if these type-inference rules cornered javac from later expanding its rules. Paul