Bug 199130 - Cannot extend generic aspect with more-constrained type parameter
Summary: Cannot extend generic aspect with more-constrained type parameter
Status: RESOLVED FIXED
Alias: None
Product: AspectJ
Classification: Tools
Component: Compiler (show other bugs)
Version: DEVELOPMENT   Edit
Hardware: PC Windows XP
: P3 normal (vote)
Target Milestone: 1.6.1   Edit
Assignee: aspectj inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-08-07 13:41 EDT by Joshua Caplan CLA
Modified: 2008-06-09 23:04 EDT (History)
2 users (show)

See Also:

Attachments
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 Joshua Caplan CLA 2007-08-07 13:41:19 EDT 
Build ID: M20060921-0945
Eclipse AJDT Version: 1.4.2.200705221209
AspectJ version: 1.5.4.200705211336

Steps To Reproduce:
Test program in its entirety:

interface A {}
interface B {}
abstract aspect Parent< V extends A > {}
abstract aspect Child< V extends A & B > extends Parent< V > {} // fails to compile


More information:
Error message:

Type V does not meet the specification for type parameter 1 (V extends A) in generic type Parent

replace "aspect" by "class" and the file compiles.
Comment 1 Joshua Caplan CLA 2007-08-08 12:16:53 EDT 
(even) simpler test program:

interface A {}
abstract aspect Parent< V > {}
abstract aspect Child< V extends A > extends Parent< V > {} // "type V does not meet the specification for type parameter 1 (V) in generic type Parent"
Comment 2 Andrew Clement CLA 2008-06-09 23:04:01 EDT 
fixed (both cases).
Fix in AjLookupEnvironment.