tests/bugs160/pr206911/VerifyError2.java


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

package bugs;

class GenericClass<K> {
          public void f(K t) {}
}
class ExtendsGenericHasITD extends GenericClass<String> {}

public aspect VerifyError2 {
          public void ExtendsGenericHasITD.f(String s) {
                   super.f(s);
          }
          public static void main( String[] args ) {
                   new ExtendsGenericHasITD();
          }
}