@@ -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> {} | |||
} |
@@ -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"); } |
@@ -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"/> |