Bug 74096

Summary: [1.5] visibility check ignores type bounds?
Product: [Eclipse Project] JDT Reporter: David Hovemeyer <daveho>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.0   
Target Milestone: 3.1 M2   
Hardware: PC   
OS: Linux   
Whiteboard:
Attachments:
Description Flags
Demonstrates the bug (which is two spurious compile errors) none

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.