W.I.P. Require full compatibility check for inner intersection type

Only for the time being to resolve the Inheritance cache issue as in theory we do not need to resolve everything

Author: Girgias

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

@@ -16,5 +16,5 @@ class Test2 extends Test {
 
 ?>
 ===DONE===
---EXPECT--
-===DONE===
+--EXPECTF--
+Fatal error: Could not check compatibility between Test2::method1(): (X&Traversable)|string and Test::method1(): Traversable|array|string, because class X is not available in %s

Zend/zend_inheritance.c

@@ -402,6 +402,7 @@ static inheritance_status zend_is_intersection_subtype_of_class(
 	ZEND_ASSERT(ZEND_TYPE_IS_INTERSECTION(fe_type));
 	bool have_unresolved = false;
 	zend_type *single_type;
+	inheritance_status status = INHERITANCE_ERROR;
 
 	/* Traverse the list of child types and check that at least one is
 	 * a subtype of the parent type being checked */
@@ -412,7 +413,7 @@ static inheritance_status zend_is_intersection_subtype_of_class(
 			fe_class_name =
 				resolve_class_name(fe_scope, ZEND_TYPE_NAME(*single_type));
 			if (zend_string_equals_ci(fe_class_name, proto_class_name)) {
-				return INHERITANCE_SUCCESS;
+				status = INHERITANCE_SUCCESS;
 			}
 
 			if (!proto_ce) proto_ce = lookup_class(proto_scope, proto_class_name);
@@ -431,11 +432,11 @@ static inheritance_status zend_is_intersection_subtype_of_class(
 		if (unlinked_instanceof(fe_ce, proto_ce)) {
 			track_class_dependency(fe_ce, fe_class_name);
 			track_class_dependency(proto_ce, proto_class_name);
-			return INHERITANCE_SUCCESS;
+			status = INHERITANCE_SUCCESS;
 		}
 	} ZEND_TYPE_FOREACH_END();
 
-	return have_unresolved ? INHERITANCE_UNRESOLVED : INHERITANCE_ERROR;
+	return have_unresolved ? INHERITANCE_UNRESOLVED : status;
 }
 
 /* Check whether a single class proto type is a subtype of a potentially complex fe_type. */