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 @@ -6256,7 +6256,11 @@ static zend_type zend_compile_typename(
6256
6256
zend_type single_type = zend_compile_single_typename (type_ast );
6257
6257
6258
6258
/* An intersection of standard types cannot exist so invalidate it */
6259
- if (ZEND_TYPE_PURE_MASK (single_type )) {
6259
+ /* Check for iterable early */
6260
+ if (ZEND_TYPE_IS_ITERABLE_FALLBACK (single_type )) {
6261
+ zend_error_noreturn (E_COMPILE_ERROR , "Type iterable cannot be part of an intersection type" );
6262
+ }
6263
+ if (ZEND_TYPE_IS_ONLY_MASK (single_type )) {
6260
6264
zend_string * standard_type_str = zend_type_to_string (single_type );
6261
6265
zend_error_noreturn (E_COMPILE_ERROR ,
6262
6266
"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