diff options
Diffstat (limited to 'tests/bugs150/PR83645.java')
-rw-r--r-- | tests/bugs150/PR83645.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tests/bugs150/PR83645.java b/tests/bugs150/PR83645.java index fa64a9cb8..798f907ff 100644 --- a/tests/bugs150/PR83645.java +++ b/tests/bugs150/PR83645.java @@ -7,6 +7,8 @@ interface IP {} public class PR83645 implements IP { public static void main(String[] args) { try { + boolean hasAspect = PT.hasAspect(IP.class); + if (hasAspect) throw new Error("Shouldn't have an instance for an interface"); boolean yes = (PT.aspectOf(IP.class) instanceof PT); throw new Error("expected NoAspectBoundException, got instance?: " + yes); } catch (NoAspectBoundException e) { @@ -14,11 +16,13 @@ public class PR83645 implements IP { } } } + aspect PT pertypewithin(IP+) { static int INDEX; final int index = INDEX++; - public PT() { - } + + public PT() {} + public String toString() { return "me " + index; } |