Project: AspectJ
Bug 147845 Generic abstract aspect hierarchies 3 deep or higher can fail when type parameters have bounds
Reported: 2006-06-20 06:16:42 | Status: resolved fixed

The program below should compile happily, but fails with: [error] Type B does not meet the specification for type parameter 1 (A extends MyBase) in generic type Base abstract aspect Middle<B extends MyBase> extends Base<B> {} ^^^^^ The test program: ------------------ interface MyBase {}; interface MyMarker extends MyBase {} abstract aspect Base<A extends MyBase> {} abstract aspect Middle<B extends MyBase> extends Base<B> {} aspect Sub extends Middle<MyMarker> {}

Files changed in fix:
tests/src/org/aspectj/systemtest/ajc152/Ajc152Tests.java weaver/src/org/aspectj/weaver/TypeVariable.java