import annotation.A;

public aspect Anno {
   declare @type: C : @A;
}