tests/java5/generics/itds/ReusingLetters.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
30

import java.util.*;

class Victim {}

public class ReusingLetters {
  public static void main(String []argv) {
    Victim v = new Victim();
    
    List<A> as = new ArrayList<A>();
    v.b(as);
    v.c(as);


  }
 
}

class A implements Comparable<A> { 
  public int compareTo(A a) { return 0; }
}

aspect X { 

  public <T extends Object & Comparable<? super T>> 
    void Victim.b(List<T> l) {}

  public <P extends Object & Comparable<? super P>> 
    void Victim.c(List<P> col) {};
  
}