Home
last modified time | relevance | path

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

/php-src/Zend/
H A Dzend_compile.c6682 static void zend_are_intersection_types_redundant(zend_type left_type, zend_type right_type) in zend_are_intersection_types_redundant() argument
6685 ZEND_ASSERT(ZEND_TYPE_IS_INTERSECTION(right_type)); in zend_are_intersection_types_redundant()
6687 zend_type_list *r_type_list = ZEND_TYPE_LIST(right_type); in zend_are_intersection_types_redundant()
6716 smaller_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()
6720 larger_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()

Completed in 28 milliseconds