public aspect Bug {
        declare @type : Bug+ : @SomeAnnotation;
}