From 9c4979953901dbc398638338fa77313db6b5ebff Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Tue, 19 Feb 2008 18:51:58 +0000
Subject: [PATCH] 219298: testcode

---
 tests/bugs160/pr219298/TestMarkers2.java             | 12 ++++++++++++
 .../org/aspectj/systemtest/ajc160/Ajc160Tests.java   |  4 +++-
 tests/src/org/aspectj/systemtest/ajc160/ajc160.xml   | 10 ++++++++++
 3 files changed, 25 insertions(+), 1 deletion(-)
 create mode 100644 tests/bugs160/pr219298/TestMarkers2.java

diff --git a/tests/bugs160/pr219298/TestMarkers2.java b/tests/bugs160/pr219298/TestMarkers2.java
new file mode 100644
index 000000000..7b6259d73
--- /dev/null
+++ b/tests/bugs160/pr219298/TestMarkers2.java
@@ -0,0 +1,12 @@
+public class TestMarkers2 {
+        public class SuperGenericsType {}
+
+        public class SubGenericsType 
+                //Following line would produce correct code
+                extends SuperGenericsType
+        {}
+
+        public class Super<T extends SuperGenericsType> {}
+
+        public class Sub extends Super<SubGenericsType> {}
+}
\ No newline at end of file
diff --git a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
index 4e5aa1eea..56a16772b 100644
--- a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
@@ -19,7 +19,9 @@ import junit.framework.Test;
  * These are tests for AspectJ1.6.0
  */
 public class Ajc160Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
-	
+
+	public void testBoundsCheckShouldFail_pr219298() { runTest("bounds check failure");}
+	public void testBoundsCheckShouldFail_pr219298_2() { runTest("bounds check failure - 2");}
 	public void testDecFieldProblem_pr218167() { runTest("dec field problem");}
 	public void testGenericsSuperITD_pr206911() { runTest("generics super itd"); }
 	public void testGenericsSuperITD_pr206911_2() { runTest("generics super itd - 2"); }
diff --git a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
index ee5e64137..7fc993fc2 100644
--- a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
+++ b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
@@ -3,6 +3,16 @@
 <!-- AspectJ v1.6.0 Tests -->
 <suite>
 
+   <ajc-test dir="bugs160/pr219298" title="bounds check failure">
+     <compile options="-1.5" files="TestMarkers.java">
+       <message kind="error" line="11" text="Bound mismatch: The type TestMarkers.SubGenericsType is not a valid substitute for the bounded"/>
+     </compile>
+   </ajc-test>
+
+   <ajc-test dir="bugs160/pr219298" title="bounds check failure - 2">
+     <compile options="-1.5" files="TestMarkers2.java"/>
+   </ajc-test>
+
    <ajc-test dir="bugs160/pr218167" title="dec field problem">
      <compile options="-1.5" files="Test.java">
        <message kind="warning" text="already has an annotation of type A, cannot add a second instance"/>
-- 
2.39.5