Home
last modified time | relevance | path

Searched refs:right_type (Results 1 – 1 of 1) sorted by relevance

/PHP-8.4/Zend/
H A Dzend_compile.c7020 static void zend_are_intersection_types_redundant(zend_type left_type, zend_type right_type) in zend_are_intersection_types_redundant() argument
7023 ZEND_ASSERT(ZEND_TYPE_IS_INTERSECTION(right_type)); in zend_are_intersection_types_redundant()
7025 zend_type_list *r_type_list = ZEND_TYPE_LIST(right_type); in zend_are_intersection_types_redundant()
7054 smaller_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()
7058 larger_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()

Completed in 66 milliseconds