public aspect A {
  declare @type: T: @Foo;
}