tests/java5/generics/decp/Basic4.aj


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

// Works, Double meets the spec for the type parameter
interface I<T extends Number> { }

public class Basic4 {
  public static void main(String[] argv) {
    Basic4 b4 = new Basic4();
    if (!(b4 instanceof I)) 
      throw new RuntimeException("Should be instanceof I!");
  }
}

aspect X {
    declare parents: Basic4 implements I<Double>;
}