> 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
_______________________________________________
aspectj-users mailing list
[email protected]
https://dev.eclipse.org/mailman/listinfo/aspectj-users
