Index: src/org/aspectj/systemtest/ajc150/Ajc150Tests.java
===================================================================
RCS file: /home/technology/org.aspectj/modules/tests/src/org/aspectj/systemtest/ajc150/Ajc150Tests.java,v
retrieving revision 1.87
diff -u -r1.87 Ajc150Tests.java
--- src/org/aspectj/systemtest/ajc150/Ajc150Tests.java	22 Sep 2005 15:48:27 -0000	1.87
+++ src/org/aspectj/systemtest/ajc150/Ajc150Tests.java	27 Sep 2005 15:02:36 -0000
@@ -453,6 +453,10 @@
   public void testParameterizedGenericMethods() {
 	  runTest("parameterized generic methods");
   }
+    
+  public void testITDWithCompileError() {
+	  runTest("VerifyError when declaring implementation on uncompiled class");
+  }
   
   // helper methods.....
   
Index: src/org/aspectj/systemtest/ajc150/ajc150.xml
===================================================================
RCS file: /home/technology/org.aspectj/modules/tests/src/org/aspectj/systemtest/ajc150/ajc150.xml,v
retrieving revision 1.142
diff -u -r1.142 ajc150.xml
--- src/org/aspectj/systemtest/ajc150/ajc150.xml	22 Sep 2005 15:48:27 -0000	1.142
+++ src/org/aspectj/systemtest/ajc150/ajc150.xml	27 Sep 2005 15:02:40 -0000
@@ -607,6 +607,15 @@
         </compile>
     </ajc-test> 
     
+    <ajc-test dir="bugs150/pr86012" title="VerifyError when declaring implementation on uncompiled class">
+        <compile files="I.java,C.java,Main.java,A.aj">
+		  	<message kind="error" text="delete this token"/>
+		</compile>
+        <run class="Main">
+        </run>
+    </ajc-test>
+
+
     <!-- ============================================================================ -->
     <!-- ============================================================================ -->
     
Index: bugs150/pr86012/A.aj
===================================================================
RCS file: bugs150/pr86012/A.aj
diff -N bugs150/pr86012/A.aj
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ bugs150/pr86012/A.aj	1 Jan 1970 00:00:00 -0000
@@ -0,0 +1,6 @@
+public aspect A {
+
+	public void I.aMethod() {
+	}
+	
+}
Index: bugs150/pr86012/C.java
===================================================================
RCS file: bugs150/pr86012/C.java
diff -N bugs150/pr86012/C.java
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ bugs150/pr86012/C.java	1 Jan 1970 00:00:00 -0000
@@ -0,0 +1,4 @@
+public class C implements I {
+	
+	blah
+}
Index: bugs150/pr86012/I.java
===================================================================
RCS file: bugs150/pr86012/I.java
diff -N bugs150/pr86012/I.java
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ bugs150/pr86012/I.java	1 Jan 1970 00:00:00 -0000
@@ -0,0 +1,3 @@
+public interface I {
+
+}
Index: bugs150/pr86012/Main.java
===================================================================
RCS file: bugs150/pr86012/Main.java
diff -N bugs150/pr86012/Main.java
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ bugs150/pr86012/Main.java	1 Jan 1970 00:00:00 -0000
@@ -0,0 +1,7 @@
+public class Main implements I {
+
+	public static void main(String[] args) {
+		new Main().aMethod();
+	}
+	
+}