tests/java5/generics/itds/GenericMethodITD15.aj


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

import java.util.*;

class Base { 
}

public class GenericMethodITD15 {

  public static void main(String[] argv) {
    List<A> as = new ArrayList<A>();
    new Base().crazy(as); // ok. A implements Foo<C> and C is a superclass of A
  }
}

interface Foo<T> {
  public void m(T t);
}


class C {}

class B extends C {}

class A extends B implements Foo<C> {
  public void m(C a) {}
}

aspect X {
  <R extends Foo<? super R>> void Base.crazy(List<R> lr) {}
}