@@ -1093,12 +1093,15 @@ impl PyCData {
                 .class()
                 .fast_issubclass(super::pointer::PyCPointerType::static_type())
             && let Some(array) = value.downcast_ref::<super::array::PyCArray>()
-            && proto_type.stg_info(vm)?.proto().is(array
-                .class()
-                .stg_info(vm)?
-                .element_type
-                .as_deref()
-                .expect("array has element type"))
+            && {
+                let target_info = proto_type.stg_info(vm)?;
+                let array_info = array.class().stg_info(vm)?;
+                target_info
+                    .proto
+                    .as_deref()
+                    .zip(array_info.element_type.as_deref())
+                    .is_some_and(|(target, element)| target.is(element))
+            }
         {
             let buffer_addr = {
                 let array_buffer = array.0.buffer.read();
 
@@ -835,3 +835,23 @@ class ConvertedEndianField(_base):
         raise AssertionError("incompatible native field value accepted")
     _value = _swapped(0x01020304)
     assert bytes(ConvertedEndianField(_value)) == bytes(_value)
+
+
+# Array assignment cannot complete a pointer field's missing target type.
+class IncompletePointer(ctypes._Pointer):
+    pass
+
+
+class IncompletePointerField(ctypes.Structure):
+    _fields_ = [("value", IncompletePointer)]
+
+
+_field = IncompletePointerField()
+_before = bytes(_field)
+try:
+    _field.value = (ctypes.c_int * 1)(42)
+except TypeError:
+    pass
+else:
+    raise AssertionError("array accepted for an incomplete pointer field")
+assert bytes(_field) == _before