2 files changed, 34 insertions, 0 deletions
diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml
index 9fb315fa5..cec2b7a68 100644
--- a/tests/ajcTestsFailing.xml
+++ b/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>
diff --git a/tests/binding/UnfoundConstructor.java b/tests/binding/UnfoundConstructor.java
new file mode 100644
index 000000000..d3d39a5fc
--- /dev/null
+++ b/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
+    }
+}