Bug 165291 - [1.5] Missing diagnosis for illegal forward field ref in generics
Summary: [1.5] Missing diagnosis for illegal forward field ref in generics
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.3   Edit
Hardware: PC Windows XP
: P3 normal (vote)
Target Milestone: 3.2.2   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 167488
  Show dependency tree
 
Reported: 2006-11-21 04:50 EST by Philipe Mulet CLA
Modified: 2007-01-15 12:57 EST (History)
0 users

See Also:

Attachments
Proposed patch (5.83 KB, patch)
2006-11-22 13:03 EST, Philipe Mulet CLA 		no flags Details | Diff
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 Philipe Mulet CLA 2006-11-21 04:50:09 EST 
Build 3.3M3

When using generics, the illegal field ref diagnosis is not properly emmitted:

class Z {
	Z z1 = z1;
	Z[] z2 = z2;
}
class Y<E> {
	E[] es = es; // should be rejected
}
Comment 1 Philipe Mulet CLA 2006-11-22 13:02:56 EST 
Problem comes from mismatch between generic and parameterized type.
Added GenericTypeTest#test1085
Comment 2 Philipe Mulet CLA 2006-11-22 13:03:33 EST 
Created attachment 54349 [details]
Proposed patch
Comment 3 Philipe Mulet CLA 2006-11-22 13:03:53 EST 
Released for 3.3M4.
Fixed
Comment 4 Philipe Mulet CLA 2006-11-23 03:44:17 EST 
Released for 3.2.2
Comment 5 Olivier Thomann CLA 2006-12-11 16:00:17 EST 
Verified for 3.3M4 with I20061211-1119 since E[] es = es is now an error.
Comment 6 Olivier Thomann CLA 2006-12-11 16:00:40 EST 
Reopen to close it during 3.2.2 verification.
Comment 7 Olivier Thomann CLA 2006-12-11 16:00:55 EST 
Released for 3.2.2.
Comment 8 Eric Jodet CLA 2007-01-15 08:51:02 EST 
verified for 3.2.2 using build M20070112-1200