Type Inference and the Diamond Operator