@interface Foo {}

aspect X {
  declare @type: I: @Foo;
    interface I {}
}