tests/java5/generics/itds/ParameterizedMethodITD4.aj


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

import java.util.*;

class Base { }

public class ParameterizedMethodITD4 {

  public static void main(String[] argv) {
    List<A> as = new ArrayList<A>();
    new Base().simple(as); // ok, A is a supertype of B
  }
}

class A {}

class B extends A {}


aspect X {
  void Base.simple(List<? super B> list) {}
}