Summary: | [1.5][compiler] JDT compiler tries to infer the wildcard type "too early" in case of recursive generic type-bounds | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Irfan Adilovic <eclipse.20.irfanadilovic> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | minor | ||
Priority: | P3 | ||
Version: | 3.1 | ||
Target Milestone: | 3.1 M7 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Irfan Adilovic
2004-12-22 17:41:11 EST
Correction for Note 3: Taking my words back about the compiler, after updating to JDK 1.5.0_01 :-). It now works with SUN's javac, but Eclipse still does not accept it. For the curious, the stack overflow can be reproduced with JDK 1.5.0-rc -- Irfy Bound checks still need to occur when resolving type parameter bounds. I suspect it just needs some tuning. Fixed by tuning bound check wrt to super wildcard. Added GenericTypeTest#test609. Fixed Released Verified in I20050510-0010 |