From ad2c31d53ca35b0637a76789279fce24b937e63b Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Mon, 22 Mar 2010 22:03:43 +0000
Subject: [PATCH] 298665: testcode

---
 tests/bugs169/pr298665/A.java                 |  8 +++++
 tests/bugs169/pr298665/Main.java              | 29 +++++++++++++++++++
 .../systemtest/ajc169/Ajc169Tests.java        | 12 ++++----
 3 files changed, 43 insertions(+), 6 deletions(-)
 create mode 100644 tests/bugs169/pr298665/A.java
 create mode 100644 tests/bugs169/pr298665/Main.java

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);
+   }
+}
diff --git a/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java b/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
index 640a2b56a..5953efbca 100644
--- a/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
@@ -18,9 +18,9 @@ import org.aspectj.testing.XMLBasedAjcTestCase;
 
 public class Ajc169Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 
-	//public void testStaticallyAnalyzableIf_292262_1() {
-	//	runTest("if with statically recognizable code");
-	//}
+	// public void testStaticallyAnalyzableIf_292262_1() {
+	// runTest("if with statically recognizable code");
+	// }
 
 	public void testTypePatternCategories_44365_Class() {
 		runTest("type category type patterns - class");
@@ -70,9 +70,9 @@ public class Ajc169Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 		runTest("type category type patterns - e2");
 	}
 
-	/*
-	 * public void testAmbiguousMethod() { runTest("ambiguous method"); }
-	 */
+	// public void testAmbiguousMethod_298665() {
+	// runTest("ambiguous method");
+	// }
 
 	public void testChecker() {
 		runTest("inserts in messages");
-- 
2.39.5