Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 326854

Summary: give type constraint of containment higher precedence
Product: z_Archived Reporter: Henrik Lindberg <henrik.lindberg>
Component: b3Assignee: Project Inbox <b3.engine-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: unspecified   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:

Description Henrik Lindberg CLA 2010-10-02 20:51:40 EDT
When inferring the type of a List or Map with undeclared type, a type constrain should be given higher precedence than inferring the type from the contents of the list.

i.e.
List<String> a = ["hello", 2]; 

Should produce error that 2 is not compliant with the list type (as opposed to stating that a List<Object> can not be assigned to a List<String>.
Comment 1 Henrik Lindberg CLA 2010-10-02 20:54:11 EDT
Implemented for List in revision 1325.
Comment 2 Henrik Lindberg CLA 2010-10-02 21:11:31 EDT
Implemented for Map in revision 1326.