import org.aspectj.lang.annotation.*;

@RequiredTypes("A")
abstract aspect AA {
}