diff -r 1350dd42537d src/vm/jit/verify/typeinfo.c
--- a/src/vm/jit/verify/typeinfo.c	Wed Sep 03 17:28:45 2008 +0200
+++ b/src/vm/jit/verify/typeinfo.c	Thu Sep 04 19:27:29 2008 +0200
@@ -736,7 +736,7 @@
 
     if (dest.cls->flags & ACC_INTERFACE) {
         /* We are assigning to an interface type. */
-        return merged_implements_interface(cls,value->merged,dest.cls);
+        return typecheck_TRUE;
     }
 
     if (CLASSINFO_IS_ARRAY(dest.cls)) {
@@ -764,8 +764,7 @@
             
             if (elementclass->flags & ACC_INTERFACE) {
                 /* We are assigning to an interface type. */
-                return classinfo_implements_interface(pseudo_class_Arraystub,
-                                                      elementclass);
+                return typecheck_TRUE;
             }
 
             /* We are assigning to a class type. */
@@ -785,9 +784,7 @@
             if (elementclass->flags & ACC_INTERFACE) {
                 /* We are assigning to an interface type. */
 
-                return merged_implements_interface(value->elementclass.cls,
-                                                   value->merged,
-                                                   elementclass);
+                return typecheck_TRUE;
             }
             
             /* We are assigning to a class type. */