tests/bugs161/pr199130/Complex2.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

interface A {}
interface B {}
abstract aspect Parent< V extends A > {}
abstract aspect Child< V extends A & B > extends Parent< V > {}

aspect Foo extends Child<AExtension> {}

class AImpl implements A {}

class AExtension extends AImpl implements B {}

public class Complex2 {
  public static void main(String [] argv) {
  }
}