File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
tests/type_declarations/intersection_types/invalid_types Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -7,4 +7,4 @@ function foo(): iterable&Iterator {}
7
7
8
8
?>
9
9
--EXPECTF--
10
- Fatal error: Type Traversable|array cannot be part of an intersection type in %s on line %d
10
+ Fatal error: Type iterable cannot be part of an intersection type in %s on line %d
Original file line number Diff line number Diff line change @@ -6317,7 +6317,11 @@ static zend_type zend_compile_typename(
6317
6317
zend_type single_type = zend_compile_single_typename (type_ast );
6318
6318
6319
6319
/* An intersection of standard types cannot exist so invalidate it */
6320
- if (ZEND_TYPE_PURE_MASK (single_type )) {
6320
+ /* Check for iterable early */
6321
+ if (ZEND_TYPE_IS_ITERABLE_FALLBACK (single_type )) {
6322
+ zend_error_noreturn (E_COMPILE_ERROR , "Type iterable cannot be part of an intersection type" );
6323
+ }
6324
+ if (ZEND_TYPE_IS_ONLY_MASK (single_type )) {
6321
6325
zend_string * standard_type_str = zend_type_to_string (single_type );
6322
6326
zend_error_noreturn (E_COMPILE_ERROR ,
6323
6327
"Type %s cannot be part of an intersection type" , ZSTR_VAL (standard_type_str ));
You can’t perform that action at this time.
0 commit comments