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 @@ -6276,7 +6276,11 @@ static zend_type zend_compile_typename(
6276
6276
zend_type single_type = zend_compile_single_typename (type_ast );
6277
6277
6278
6278
/* An intersection of standard types cannot exist so invalidate it */
6279
- if (ZEND_TYPE_PURE_MASK (single_type )) {
6279
+ /* Check for iterable early */
6280
+ if (ZEND_TYPE_IS_ITERABLE_FALLBACK (single_type )) {
6281
+ zend_error_noreturn (E_COMPILE_ERROR , "Type iterable cannot be part of an intersection type" );
6282
+ }
6283
+ if (ZEND_TYPE_IS_ONLY_MASK (single_type )) {
6280
6284
zend_string * standard_type_str = zend_type_to_string (single_type );
6281
6285
zend_error_noreturn (E_COMPILE_ERROR ,
6282
6286
"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