Please provide a warning on code like:

    System.out.<Integer> println("");

    List<?> list = new <Integer> ArrayList();

Such code is valid according to JLS 15.12.2.1, and javac is able to compile it since JDK 1.7 (see issue 146272). 
The '<Integer>' type argument is effectively ignored here. But the rational given in JLS 15.12.2.1 with regard to 
substitutability only applies to instance methods, not to static methods and constructors, as these cannot be 
overridden in subtypes (only hidden, for static methods). Therefore a warning would be in order for static methods and 
constructors.