298665: testcode

2 files changed, 37 insertions, 0 deletions

diff --git a/tests/bugs169/pr298665/A.java b/tests/bugs169/pr298665/A.java
new file mode 100644
index 000000000..28d74385c
--- /dev/null
+++ b/tests/bugs169/pr298665/A.java
@@ -0,0 +1,8 @@
+import java.util.*;
+
+public class A<? extends M> {
+  public void foo(List<?> m) {}
+}
+class B extends A {
+  public void foo(List<? extends Object> m) {}
+}
diff --git a/tests/bugs169/pr298665/Main.java b/tests/bugs169/pr298665/Main.java
new file mode 100644
index 000000000..4a6cfaa04
--- /dev/null
+++ b/tests/bugs169/pr298665/Main.java
@@ -0,0 +1,29 @@
+aspect MyAspect
+{
+   public interface MyInterface
+   {
+       public boolean instanceOf(Class<? extends Object> c);
+       //public boolean instanceOf(Class c);
+   }
+
+   declare parents: MyObject implements MyInterface;
+
+   public boolean MyInterface.instanceOf(Class<? extends Object> c)
+   //public boolean MyInterface.instanceOf(Class c)
+   {
+       return c.isInstance(this);
+   }
+}
+
+class MyObject
+{
+  // public boolean instanceOf(Class<? extends Object> c) {return true;}
+}
+
+public class Main
+{
+   public static void main(String[] args)
+   {
+       new MyObject().instanceOf(Object.class);
+   }
+}