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

Bug 105846

Summary: [infer type arguments] incorrect argument inferred
Product: [Eclipse Project] JDT Reporter: Adam Kiezun <akiezun>
Component: UIAssignee: Markus Keller <markus.kell.r>
Status: CLOSED WONTFIX QA Contact:
Severity: normal    
Priority: P3    
Version: 3.1   
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard: stalebug

Description Adam Kiezun CLA 2005-08-02 15:31:13 EDT
3.1
class I{
  enum E {FOO};
  void foo(){
    Enum e = Enum.valueOf(E.class, null);//you get compile error here
    e.compareTo(e);
  }
}
Comment 1 Markus Keller CLA 2005-09-16 11:48:39 EDT
F-bounded type parameters are nasty...
Comment 2 Markus Keller CLA 2006-06-08 10:33:13 EDT
Currently infers "Enum<Enum> e". "Enum<E>" would also be wrong.

The only solution would be to let "Enum e" raw, given that we only want to infer type arguments, not types ("E e", would be the correct solution otherwise).
Comment 3 Eclipse Genie CLA 2020-04-09 14:05:34 EDT
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. As such, we're closing this bug.

If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.