Bug 165291

Summary:

[1.5] Missing diagnosis for illegal forward field ref in generics

Product:

[Eclipse Project] JDT

Reporter:

Philipe Mulet <philippe_mulet>

Component:

Core

Assignee:

Philipe Mulet <philippe_mulet>

Status:

VERIFIED FIXED

QA Contact:

Severity:

normal

Priority:

Version:

3.3

Target Milestone:

3.2.2

Hardware:

OS:

Windows XP

Whiteboard:

Bug Depends on:

Bug Blocks:

167488

Attachments:

Description	Flags
Proposed patch	none

Description Philipe Mulet

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

2006-11-22 13:02:56 EST

Problem comes from mismatch between generic and parameterized type.
Added GenericTypeTest#test1085

Comment 2 Philipe Mulet

2006-11-22 13:03:33 EST

Created attachment 54349 [details]
Proposed patch

Comment 3 Philipe Mulet

2006-11-22 13:03:53 EST

Released for 3.3M4.
Fixed

Comment 4 Philipe Mulet

2006-11-23 03:44:17 EST

Released for 3.2.2

Comment 5 Olivier Thomann

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

2006-12-11 16:00:40 EST

Reopen to close it during 3.2.2 verification.

Comment 7 Olivier Thomann

2006-12-11 16:00:55 EST

Released for 3.2.2.

Comment 8 Eric Jodet

2007-01-15 08:51:02 EST

verified for 3.2.2 using build M20070112-1200