tests/java5/generics/itds/sharing/FieldK.aj


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

// This test covers something that arose whilst working on specifying
// ITDs on generic interfaces (which must be picked up by the top most
// implementing types).  

// Here we check that a simple ITD on a generic interface works when
// the implementing class is using it in some parameterized form.
import java.util.*;

public class FieldK {
  public static void main(String []argv) {
    One o = new One();
    o.i = new ArrayList();
  }
}

interface I<N extends Number> { }

class One implements I<Double> {}

aspect X {
  public List I.i;
}