Bug 95021

Summary: [1.5][compiler] incorrectly inferred method type parameters bug in 3.1M6?
Product: [Eclipse Project] JDT Reporter: David Hovemeyer <daveho>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.1   
Target Milestone: 3.1 RC1   
Hardware: PC   
OS: Linux   
Whiteboard:
Attachments:
Description Flags
source file demonstrating the problem none

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.