path: root/tests/java5/generics/itds/AtOverride1.aj

// 1. child specifies override but there was no parent (error)

class Parent {

}

class Child extends Parent {

  @Override public void method() {} // ERROR, doesnt override anything

}

aspect Injector { }