@testcase no such constructor for proceed argument (error)

(compiler throwing NPE)

tests/ajcTestsFailing.xml

@@ -52,4 +52,11 @@
         </compile>
     </ajc-test>
 
+    <ajc-test dir="binding"
+      title="no such constructor for proceed argument (error)">
+        <compile files="UnfoundConstructor.java">
+        	<message kind="error" line="25"/>
+        </compile>
+    </ajc-test>
+
 </suite>

tests/binding/UnfoundConstructor.java

@@ -0,0 +1,27 @@
+
+
+import org.aspectj.testing.Tester;
+
+/** @testcase no such constructor for proceed argument (error) */
+public class UnfoundConstructor {
+    public static void main (String[] args) {
+        I i = new B();
+        String s = i.toString();
+    } 
+}
+
+
+interface I { }
+
+class B implements I { }
+
+class Mock implements I {
+    Mock(B toMock) { }
+}
+
+aspect A {
+    Object around(I targ) : 
+        target(targ) && target(B) && call(* *(..)) {
+        return proceed(new Mock(targ)); // CE 25: no such constructor
+    }
+}