2 files changed, 30 insertions, 0 deletions
diff --git a/tests/bugs160/pr206911/VerifyError.java b/tests/bugs160/pr206911/VerifyError.java
new file mode 100644
index 000000000..3db8dddf7
--- /dev/null
+++ b/tests/bugs160/pr206911/VerifyError.java
@@ -0,0 +1,15 @@
+package bugs;
+
+class GenericClass< K > {
+          public void f() {}
+}
+class ExtendsGenericHasITD extends GenericClass< Object > {}
+
+public aspect VerifyError {
+          public void ExtendsGenericHasITD.f() {
+                   super.f();
+          }
+          public static void main( String[] args ) {
+                   new ExtendsGenericHasITD();
+          }
+}
diff --git a/tests/bugs160/pr206911/VerifyError2.java b/tests/bugs160/pr206911/VerifyError2.java
new file mode 100644
index 000000000..bb08b7eb0
--- /dev/null
+++ b/tests/bugs160/pr206911/VerifyError2.java
@@ -0,0 +1,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();
+          }
+}