tests/bugs160/pr214559/Y.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

public class Y {
  public static void main(String[]argv) {
    TestClass t = new TestClass();
    if (!(t instanceof Interface1)) throw new RuntimeException("t not instanceof Interface1");
    if (!(t instanceof Interface1TestClass)) throw new RuntimeException("t not instanceof Interface1TestClass");
  }
}

interface Interface1 {}

interface Interface1TestClass {}

aspect TestAspect  {
        declare parents: TestClass implements Interface1;

        declare parents: TestClass && Interface1+ implements Interface1TestClass;
}

class TestClass {}