From ca7f9f4bf393a4a1193773501b7d55ecd17ede1f Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Tue, 22 Jan 2008 23:48:51 +0000
Subject: pr206911: tests and fix: generic super itd

---
 tests/bugs160/pr206911/VerifyError.java  | 15 +++++++++++++++
 tests/bugs160/pr206911/VerifyError2.java | 15 +++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 tests/bugs160/pr206911/VerifyError.java
 create mode 100644 tests/bugs160/pr206911/VerifyError2.java

(limited to 'tests/bugs160')

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();
+          }
+}
-- 
cgit v1.2.3