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


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

import java.util.*;

public class MethodK {
  public static void main(String []argv) {
    One o = new One();
    List l = o.m();
  }
}

interface I<N extends Number> { }

class One implements I<Double> {}

aspect X {
  public List I.m() { return null;} // ok, ITD on a generic type which gets parameterized into One.
}