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.c7016 static void zend_are_intersection_types_redundant(zend_type left_type, zend_type right_type) in zend_are_intersection_types_redundant() argument
7019 ZEND_ASSERT(ZEND_TYPE_IS_INTERSECTION(right_type)); in zend_are_intersection_types_redundant()
7021 zend_type_list *r_type_list = ZEND_TYPE_LIST(right_type); in zend_are_intersection_types_redundant()
7050 smaller_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()
7054 larger_type_str = zend_type_to_string(right_type); in zend_are_intersection_types_redundant()

Completed in 32 milliseconds