path: root/tests/bugs160/various/IncorrectMessage.java

class Foo<A> extends FooBase implements Marker{}//Marker<A> { }

interface Marker<A> { }

aspect AspectDoWhatEver {
    void Marker.doWhatEver()  { // do nothing
    }
}

abstract class FooBase
{
    abstract void doWhatEver();
}