Why type is not inferred when leaving away generics operator [duplicate]

Answer 1

You can use diamond operator to infer type from declaration as specified in JLS (§15.9),.

A class instance creation expression specifies a class to be instantiated, possibly followed by type arguments (§4.5.1) or a diamond ("<>") if the class being instantiated is generic (§8.1.2), followed by (a possibly empty) list of actual value arguments to the constructor.

List myList = new ArrayList<>();