Java Type Inference

"Type inference is a Java compiler's ability to look at each method invocation and corresponding declaration to determine the type argument (or arguments) that make the invocation applicable. The inference algorithm determines the types of the arguments and ..."

http://docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html