Bug 95021 - [1.5][compiler] incorrectly inferred method type parameters bug in 3.1M6?
Summary: [1.5][compiler] incorrectly inferred method type parameters bug in 3.1M6?
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.1   Edit
Hardware: PC Linux
: P3 normal (vote)
Target Milestone: 3.1 RC1   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-05-12 14:59 EDT by David Hovemeyer CLA
Modified: 2005-05-27 10:26 EDT (History)
0 users

See Also:

Attachments
source file demonstrating the problem (1003 bytes, text/plain)
2005-05-12 15:00 EDT, David Hovemeyer CLA 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description David Hovemeyer CLA 2005-05-12 14:59:24 EDT 
I am attaching a source file which compiles fine using javac from JDK 1.5.0_02.
 It yields an error in Eclipse 3.1M6.

Interestingly, the problem goes away when I change the order of the type
parameters in the readDatabase method.
Comment 1 David Hovemeyer CLA 2005-05-12 15:00:25 EDT 
Created attachment 21061 [details]
source file demonstrating the problem
Comment 2 Olivier Thomann CLA 2005-05-12 15:56:34 EDT 
The problem still exists in latest HEAD contents.
Comment 3 Philipe Mulet CLA 2005-05-16 09:46:56 EDT 
Problem comes from the fact that after gathering constraints, there are 2 EQUAL
constraints for P:
Property == Property
Property == FooProperty

Tuned constraints resolution to avoid getting confused by identical argument, in
case there is another subsequent possibility (identical isn't provide much help).

Added GenericTypeTest#test670-672.
Fixed
Comment 4 Maxime Daniel CLA 2005-05-27 10:07:47 EDT 
Verified on build I20050527-0010.