Bug 74096 - [1.5] visibility check ignores type bounds?
Summary: [1.5] visibility check ignores type bounds?
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.0   Edit
Hardware: PC Linux
: P3 normal (vote)
Target Milestone: 3.1 M2   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-09-16 14:20 EDT by David Hovemeyer CLA
Modified: 2004-09-24 06:52 EDT (History)
0 users

See Also:

Attachments
Demonstrates the bug (which is two spurious compile errors) (937 bytes, text/plain)
2004-09-16 14:21 EDT, David Hovemeyer CLA 		no flags Details
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 David Hovemeyer CLA 2004-09-16 14:20:36 EDT 
This bug is actually in the cvs HEAD version of jdt.core,
as of Sept. 15, 2004, not "3.0".

It seems that bounds on type parameters aren't checked
correctly when determining visibility of methods/fields.
I've put a source file which demonstrates the problem at

  http://www.cs.umd.edu/~daveho/VisibilityBug.java

I'll try to attach it to the bug report, too.
Comment 1 David Hovemeyer CLA 2004-09-16 14:21:43 EDT 
Created attachment 14579 [details]
Demonstrates the bug (which is two spurious compile errors)
Comment 2 Philipe Mulet CLA 2004-09-22 17:01:48 EDT 
Type variables are allowed to inherit private members from their bounds.
Fixed. Added regression test: GenericTypeTest#test306
Comment 3 David Audel CLA 2004-09-24 06:52:22 EDT 
Verified in I200409231635.