Re: [aspectj-users] Generics(?) causes class not be lt-weaved

["Eric Bodden" <eric.bodden@xxxxxxxxxxxxxx>]

> Then I have two classes for the test:
>
> public abstract class AbstractFooTest<TYPE> {
>     protected abstract AbstractFoo<TYPE> getFoo();
> }
>
> public class FooTest extends AbstractFooTest<Integer> {
>
>     protected Foo getFoo() {return null;}

How can this type-check at all? If FooTest is of type
AbstractFooTest<Integer>, then the method getFoo() surely should have
a return type Integer, shouldn't it? Probably the compiler gets
confused by an actually ill-typed program?

Eric

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada