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 @@ -6314,7 +6314,11 @@ static zend_type zend_compile_typename(
6314
6314
zend_type single_type = zend_compile_single_typename (type_ast );
6315
6315
6316
6316
/* An intersection of standard types cannot exist so invalidate it */
6317
- if (ZEND_TYPE_PURE_MASK (single_type )) {
6317
+ /* Check for iterable early */
6318
+ if (ZEND_TYPE_IS_ITERABLE_FALLBACK (single_type )) {
6319
+ zend_error_noreturn (E_COMPILE_ERROR , "Type iterable cannot be part of an intersection type" );
6320
+ }
6321
+ if (ZEND_TYPE_IS_ONLY_MASK (single_type )) {
6318
6322
zend_string * standard_type_str = zend_type_to_string (single_type );
6319
6323
zend_error_noreturn (E_COMPILE_ERROR ,
6320
6324
"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