tests/java5/generics/itds/ParameterizedMethodITD3.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 ParameterizedMethodITD3 {

  public static void main(String[] argv) {
    List<B> bs = new ArrayList<B>();
    new Base().simple(bs); // error: B is not a super type of A
  }
}

class A {}

class B extends A {}


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