Properly register unresolved classes

Author: Girgias

Zend/tests/type_declarations/dnf_types/variance/valid9.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Covariant replacement of iterable type with unregistered intersection type in DNF type
+--FILE--
+<?php
+
+class Test {
+    function method1(): iterable|string {}
+    function method2(): iterable|int {}
+}
+class Test2 extends Test {
+    function method1(): (X&Traversable)|string {}
+    function method2(): int|(X&MyIterator) {}
+}
+
+?>
+===DONE===
+--EXPECTF--
+Fatal error: Could not check compatibility between Test2::method2(): (X&MyIterator)|int and Test::method2(): Traversable|array|int, because class X is not available in %s

Zend/zend_inheritance.c

@@ -540,6 +540,10 @@ static zend_string *get_class_from_type(zend_class_entry *scope, zend_type singl
 static void register_unresolved_classes(zend_class_entry *scope, zend_type type) {
 	zend_type *single_type;
 	ZEND_TYPE_FOREACH(type, single_type) {
+		if (ZEND_TYPE_HAS_LIST(*single_type)) {
+			register_unresolved_classes(scope, *single_type);
+			continue;
+		}
 		if (ZEND_TYPE_HAS_NAME(*single_type)) {
 			zend_string *class_name = resolve_class_name(scope, ZEND_TYPE_NAME(*single_type));
 			lookup_class_ex(scope, class_name, /* register_unresolved */ true);