Bug 231187 - Incorrect Bound mismatch compiler error when injecting an interface
Summary: Incorrect Bound mismatch compiler error when injecting an interface
Status: RESOLVED FIXED
Alias: None
Product: AspectJ
Classification: Tools
Component: Compiler (show other bugs)
Version: 1.6.0   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: 2008-05-08 15:38 EDT by Jason Naylor CLA
Modified: 2008-05-08 17:15 EDT (History)
1 user (show)

See Also:

Attachments
A 4 class 1 aspect project which exposes the bug. (2.08 KB, application/x-zip-compressed)
2008-05-08 15:38 EDT, Jason Naylor 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 Jason Naylor CLA 2008-05-08 15:38:18 EDT 
Created attachment 99363 [details]
A 4 class 1 aspect project which exposes the bug.

Build ID: M20080221-1800

Steps To Reproduce:
1. Create a generic class with a bounded type which extends an interface.
2. Write a non generic class which extends the generic class providing a type that does not yet implement the interface.
3. Create an aspect that causes the type to implement the interface.
4. Note the compile error.


More information:
If the generic type is not bounded there is no error.  

If the generic type is set to the interface which is injected there is no error.

I am attaching a zipped project which exposes the bug.

I am using Eclipse 3.3.2, AJDT 1.5.2.200804241330, AspectJ 1.6.0.20080423100000
Comment 1 Andrew Clement CLA 2008-05-08 17:15:13 EDT 
Fix committed - thanks for the simple testcase.

I had to move the parameterization check to after the itds had been applied.  I'm a little surprised we hadn't tested that, but it works now and I've checked without the declare parents that the correct error is still produced.