Summary: | [1.5][compiler] Type Inference on static method allowed by eclipse, not by javac | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Steven Tamm <stamm> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | RESOLVED INVALID | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | hendrik, michael.f.obrien |
Version: | 3.1 | ||
Target Milestone: | 3.1 RC4 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Steven Tamm
2005-06-03 16:48:48 EDT
Simpler testcase: public class X { <T extends X> T f1() throws Exception{ return null; } <U extends X> U f2() throws Exception { return f1(); } } Inference should realize that <U>f1() is the proper substitute for generic method. Note that when explicitly qualifying it works well as well. Closing as javac bug. Adding regression test: GenericTypeTest#test765 *** Bug 158519 has been marked as a duplicate of this bug. *** >Verified reproduced in JDK 1.6.0_21 >Verified fixed in JDK 1.6.0_22 (and 1.6.0_27) http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6302954 > A more systematic test on each release reveals
1.6.0_22 = broken (bug with same exception says fixed)
1.6.0_23 = broken
1.6.0_24 = broken
1.6.0_25 = OK
1.6.0_26 = OK
1.6.0_27 = OK
|