Skip to content

Commit 532c94b

Browse files
GirgiasGirgias
committed
Convert iterable into an internal alias for Traversable|array
1 parent 6729276 commit 532c94b

27 files changed

+59
-120
lines changed

‎Zend/Optimizer/zend_inference.c

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2241,9 +2241,6 @@ static uint32_t zend_convert_type_declaration_mask(uint32_t type_mask) {
22412241
if (type_mask & MAY_BE_CALLABLE) {
22422242
result_mask |= MAY_BE_STRING|MAY_BE_OBJECT|MAY_BE_ARRAY|MAY_BE_ARRAY_KEY_ANY|MAY_BE_ARRAY_OF_ANY|MAY_BE_ARRAY_OF_REF;
22432243
}
2244-
if (type_mask & MAY_BE_ITERABLE) {
2245-
result_mask |= MAY_BE_OBJECT|MAY_BE_ARRAY|MAY_BE_ARRAY_KEY_ANY|MAY_BE_ARRAY_OF_ANY|MAY_BE_ARRAY_OF_REF;
2246-
}
22472244
if (type_mask & MAY_BE_STATIC) {
22482245
result_mask |= MAY_BE_OBJECT;
22492246
}

‎Zend/tests/type_declarations/intersection_types/invalid_types/invalid_iterable_type.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,4 @@ function foo(): iterable&Iterator {}
77

88
?>
99
--EXPECTF--
10-
Fatal error: Type iterable cannot be part of an intersection type in %s on line %d
10+
Fatal error: Type Traversable|array cannot be part of an intersection type in %s on line %d

‎Zend/tests/type_declarations/intersection_types/variance/invalid5.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,4 @@ class Test2 extends Test {
1515

1616
?>
1717
--EXPECTF--
18-
Fatal error: Declaration of Test2::method(): X&Y must be compatible with Test::method(): iterable in %s on line %d
18+
Fatal error: Declaration of Test2::method(): X&Y must be compatible with Test::method(): Traversable|array in %s on line %d

‎Zend/tests/type_declarations/iterable_001.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,4 +45,4 @@ object(ArrayIterator)#1 (1) {
4545
int(3)
4646
}
4747
}
48-
test(): Argument #1 ($iterable) must be of type iterable, int given, called in %s on line %d
48+
test(): Argument #1 ($iterable) must be of type Traversable|array, int given, called in %s on line %d

‎Zend/tests/type_declarations/iterable_002.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@ function baz(iterable $iterable = 1) {
1717

1818
?>
1919
--EXPECTF--
20-
Fatal error: Cannot use int as default value for parameter $iterable of type iterable in %s on line %d
20+
Fatal error: Cannot use int as default value for parameter $iterable of type Traversable|array in %s on line %d

‎Zend/tests/type_declarations/iterable_003.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,4 +29,4 @@ array(0) {
2929
}
3030
object(Generator)#2 (0) {
3131
}
32-
baz(): Return value must be of type iterable, int returned
32+
baz(): Return value must be of type Traversable|array, int returned

‎Zend/tests/type_declarations/iterable_004.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,4 @@ class Bar extends Foo {
2121

2222
?>
2323
--EXPECTF--
24-
Fatal error: Declaration of Bar::testScalar(iterable $iterable) must be compatible with Foo::testScalar(int $int) in %s on line %d
24+
Fatal error: Declaration of Bar::testScalar(Traversable|array $iterable) must be compatible with Foo::testScalar(int $int) in %s on line %d

‎Zend/tests/type_declarations/iterable_005.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,4 +29,4 @@ class TestScalar extends Test {
2929

3030
?>
3131
--EXPECTF--
32-
Fatal error: Declaration of TestScalar::method(): int must be compatible with Test::method(): iterable in %s on line %d
32+
Fatal error: Declaration of TestScalar::method(): int must be compatible with Test::method(): Traversable|array in %s on line %d

‎Zend/tests/type_declarations/union_types/redundant_types/iterable_and_Traversable.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,4 @@ function test(): iterable|Traversable {
88

99
?>
1010
--EXPECTF--
11-
Fatal error: Type Traversable|iterable contains both iterable and Traversable, which is redundant in %s on line %d
11+
Fatal error: Duplicate type Traversable is redundant in %s on line %d

‎Zend/tests/type_declarations/union_types/redundant_types/iterable_and_Traversable_2.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,4 @@ function test(): iterable|Traversable|ArrayAccess {
88

99
?>
1010
--EXPECTF--
11-
Fatal error: Type Traversable|ArrayAccess|iterable contains both iterable and Traversable, which is redundant in %s on line %d
11+
Fatal error: Duplicate type Traversable is redundant in %s on line %d

‎Zend/tests/type_declarations/union_types/redundant_types/iterable_and_array.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,4 @@ function test(): iterable|array {
88

99
?>
1010
--EXPECTF--
11-
Fatal error: Type iterable|array contains both iterable and array, which is redundant in %s on line %d
11+
Fatal error: Duplicate type array is redundant in %s on line %d

‎Zend/tests/typehints/or_null.phpt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,7 @@ TypeError: callableF(): Argument #1 ($param) must be of type ?callable, int give
247247
Stack trace:
248248
#0 %s(52): callableF(1)
249249
#1 {main}
250-
TypeError: iterableF(): Argument #1 ($param) must be of type ?iterable, int given, called in %s:%d
250+
TypeError: iterableF(): Argument #1 ($param) must be of type Traversable|array|null, int given, called in %s:%d
251251
Stack trace:
252252
#0 %s(60): iterableF(1)
253253
#1 {main}
@@ -283,7 +283,7 @@ TypeError: returnCallable(): Return value must be of type ?callable, int returne
283283
Stack trace:
284284
#0 %s(138): returnCallable()
285285
#1 {main}
286-
TypeError: returnIterable(): Return value must be of type ?iterable, int returned in %s:%d
286+
TypeError: returnIterable(): Return value must be of type Traversable|array|null, int returned in %s:%d
287287
Stack trace:
288288
#0 %s(148): returnIterable()
289289
#1 {main}
@@ -307,7 +307,7 @@ TypeError: returnMissingCallable(): Return value must be of type ?callable, none
307307
Stack trace:
308308
#0 %s(194): returnMissingCallable()
309309
#1 {main}
310-
TypeError: returnMissingIterable(): Return value must be of type ?iterable, none returned in %s:%d
310+
TypeError: returnMissingIterable(): Return value must be of type Traversable|array|null, none returned in %s:%d
311311
Stack trace:
312312
#0 %s(203): returnMissingIterable()
313313
#1 {main}

‎Zend/zend_compile.c

Lines changed: 14 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -1231,9 +1231,6 @@ zend_string *zend_type_to_string_resolved(zend_type type, zend_class_entry *scop
12311231
if (type_mask & MAY_BE_CALLABLE) {
12321232
str = add_type_string(str, ZSTR_KNOWN(ZEND_STR_CALLABLE), /* is_intersection */ false);
12331233
}
1234-
if (type_mask & MAY_BE_ITERABLE) {
1235-
str = add_type_string(str, ZSTR_KNOWN(ZEND_STR_ITERABLE), /* is_intersection */ false);
1236-
}
12371234
if (type_mask & MAY_BE_OBJECT) {
12381235
str = add_type_string(str, ZSTR_KNOWN(ZEND_STR_OBJECT), /* is_intersection */ false);
12391236
}
@@ -1293,7 +1290,7 @@ static void zend_mark_function_as_generator(void) /* {{{ */
12931290

12941291
if (CG(active_op_array)->fn_flags & ZEND_ACC_HAS_RETURN_TYPE) {
12951292
zend_type return_type = CG(active_op_array)->arg_info[-1].type;
1296-
bool valid_type = (ZEND_TYPE_FULL_MASK(return_type) & (MAY_BE_ITERABLE | MAY_BE_OBJECT)) != 0;
1293+
bool valid_type = (ZEND_TYPE_FULL_MASK(return_type) & MAY_BE_OBJECT) != 0;
12971294
if (!valid_type) {
12981295
zend_type *single_type;
12991296
ZEND_TYPE_FOREACH(return_type, single_type) {
@@ -6159,6 +6156,7 @@ static zend_type zend_compile_single_typename(zend_ast *ast)
61596156
zend_error_noreturn(E_COMPILE_ERROR,
61606157
"Cannot use \"static\" when no class scope is active");
61616158
}
6159+
61626160
return (zend_type) ZEND_TYPE_INIT_CODE(ast->attr, 0, 0);
61636161
} else {
61646162
zend_string *class_name = zend_ast_get_str(ast);
@@ -6170,6 +6168,17 @@ static zend_type zend_compile_single_typename(zend_ast *ast)
61706168
"Type declaration '%s' must be unqualified",
61716169
ZSTR_VAL(zend_string_tolower(class_name)));
61726170
}
6171+
6172+
/* Transform iterable into a type union alias */
6173+
if (type_code == IS_ITERABLE) {
6174+
zend_type iterable = (zend_type) ZEND_TYPE_INIT_CLASS(ZSTR_KNOWN(ZEND_STR_TRAVERSABLE), 0, 0);
6175+
ZEND_TYPE_FULL_MASK(iterable) |= MAY_BE_ARRAY;
6176+
/* Inform that the type list is a union type */
6177+
ZEND_TYPE_FULL_MASK(iterable) |= _ZEND_TYPE_NAME_BIT;
6178+
ZEND_TYPE_FULL_MASK(iterable) |= _ZEND_TYPE_UNION_BIT;
6179+
return iterable;
6180+
}
6181+
61736182
return (zend_type) ZEND_TYPE_INIT_CODE(type_code, 0, 0);
61746183
} else {
61756184
const char *correct_name;
@@ -6209,19 +6218,6 @@ static zend_type zend_compile_single_typename(zend_ast *ast)
62096218
}
62106219
}
62116220

6212-
static bool zend_type_contains_traversable(zend_type type) {
6213-
zend_type *single_type;
6214-
ZEND_TYPE_FOREACH(type, single_type) {
6215-
if (ZEND_TYPE_HAS_NAME(*single_type)
6216-
&& zend_string_equals_literal_ci(ZEND_TYPE_NAME(*single_type), "Traversable")) {
6217-
return 1;
6218-
}
6219-
} ZEND_TYPE_FOREACH_END();
6220-
return 0;
6221-
}
6222-
6223-
// TODO: Ideally we'd canonicalize "iterable" into "array|Traversable" and essentially
6224-
// treat it as a built-in type alias.
62256221
static zend_type zend_compile_typename(
62266222
zend_ast *ast, bool force_allow_null) /* {{{ */
62276223
{
@@ -6316,7 +6312,7 @@ static zend_type zend_compile_typename(
63166312
zend_type single_type = zend_compile_single_typename(type_ast);
63176313

63186314
/* An intersection of standard types cannot exist so invalidate it */
6319-
if (ZEND_TYPE_IS_ONLY_MASK(single_type)) {
6315+
if (ZEND_TYPE_PURE_MASK(single_type)) {
63206316
zend_string *standard_type_str = zend_type_to_string(single_type);
63216317
zend_error_noreturn(E_COMPILE_ERROR,
63226318
"Type %s cannot be part of an intersection type", ZSTR_VAL(standard_type_str));
@@ -6358,18 +6354,6 @@ static zend_type zend_compile_typename(
63586354
}
63596355

63606356
uint32_t type_mask = ZEND_TYPE_PURE_MASK(type);
6361-
if ((type_mask & (MAY_BE_ARRAY|MAY_BE_ITERABLE)) == (MAY_BE_ARRAY|MAY_BE_ITERABLE)) {
6362-
zend_string *type_str = zend_type_to_string(type);
6363-
zend_error_noreturn(E_COMPILE_ERROR,
6364-
"Type %s contains both iterable and array, which is redundant", ZSTR_VAL(type_str));
6365-
}
6366-
6367-
if ((type_mask & MAY_BE_ITERABLE) && zend_type_contains_traversable(type)) {
6368-
zend_string *type_str = zend_type_to_string(type);
6369-
zend_error_noreturn(E_COMPILE_ERROR,
6370-
"Type %s contains both iterable and Traversable, which is redundant",
6371-
ZSTR_VAL(type_str));
6372-
}
63736357

63746358
if (type_mask == MAY_BE_ANY && (orig_ast_attr & ZEND_TYPE_NULLABLE)) {
63756359
zend_error_noreturn(E_COMPILE_ERROR, "Type mixed cannot be marked as nullable since mixed already includes null");
@@ -6416,9 +6400,6 @@ static bool zend_is_valid_default_value(zend_type type, zval *value)
64166400
convert_to_double(value);
64176401
return 1;
64186402
}
6419-
if ((ZEND_TYPE_FULL_MASK(type) & MAY_BE_ITERABLE) && Z_TYPE_P(value) == IS_ARRAY) {
6420-
return 1;
6421-
}
64226403
return 0;
64236404
}
64246405

‎Zend/zend_execute.c

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -914,9 +914,6 @@ static zend_always_inline bool i_zend_check_property_type(zend_property_info *in
914914

915915
uint32_t type_mask = ZEND_TYPE_FULL_MASK(info->type);
916916
ZEND_ASSERT(!(type_mask & (MAY_BE_CALLABLE|MAY_BE_STATIC)));
917-
if ((type_mask & MAY_BE_ITERABLE) && zend_is_iterable(property)) {
918-
return 1;
919-
}
920917
return zend_verify_scalar_type_hint(type_mask, property, strict, 0);
921918
}
922919

@@ -1053,9 +1050,6 @@ static zend_always_inline bool zend_check_type_slow(
10531050
if ((type_mask & MAY_BE_CALLABLE) && zend_is_callable(arg, 0, NULL)) {
10541051
return 1;
10551052
}
1056-
if ((type_mask & MAY_BE_ITERABLE) && zend_is_iterable(arg)) {
1057-
return 1;
1058-
}
10591053
if ((type_mask & MAY_BE_STATIC) && zend_value_instanceof_static(arg)) {
10601054
return 1;
10611055
}
@@ -2788,7 +2782,7 @@ static zend_always_inline bool check_type_array_assignable(zend_type type) {
27882782
if (!ZEND_TYPE_IS_SET(type)) {
27892783
return 1;
27902784
}
2791-
return (ZEND_TYPE_FULL_MASK(type) & (MAY_BE_ITERABLE|MAY_BE_ARRAY)) != 0;
2785+
return (ZEND_TYPE_FULL_MASK(type) & MAY_BE_ARRAY) != 0;
27922786
}
27932787

27942788
/* Checks whether an array can be assigned to the reference. Throws error if not assignable. */
@@ -3234,9 +3228,6 @@ static zend_always_inline int i_zend_verify_type_assignable_zval(
32343228

32353229
type_mask = ZEND_TYPE_FULL_MASK(type);
32363230
ZEND_ASSERT(!(type_mask & (MAY_BE_CALLABLE|MAY_BE_STATIC)));
3237-
if (type_mask & MAY_BE_ITERABLE) {
3238-
return zend_is_iterable(zv);
3239-
}
32403231

32413232
/* SSTH Exception: IS_LONG may be accepted as IS_DOUBLE (converted) */
32423233
if (strict) {

‎Zend/zend_inheritance.c

Lines changed: 3 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -326,21 +326,6 @@ static bool unlinked_instanceof(zend_class_entry *ce1, zend_class_entry *ce2) {
326326
return 0;
327327
}
328328

329-
static bool zend_type_contains_traversable(zend_type type) {
330-
zend_type *single_type;
331-
if (ZEND_TYPE_FULL_MASK(type) & MAY_BE_OBJECT) {
332-
return 1;
333-
}
334-
335-
ZEND_TYPE_FOREACH(type, single_type) {
336-
if (ZEND_TYPE_HAS_NAME(*single_type)
337-
&& zend_string_equals_literal_ci(ZEND_TYPE_NAME(*single_type), "Traversable")) {
338-
return 1;
339-
}
340-
} ZEND_TYPE_FOREACH_END();
341-
return 0;
342-
}
343-
344329
static bool zend_type_permits_self(
345330
zend_type type, zend_class_entry *scope, zend_class_entry *self) {
346331
if (ZEND_TYPE_FULL_MASK(type) & MAY_BE_OBJECT) {
@@ -471,15 +456,6 @@ static inheritance_status zend_is_class_subtype_of_type(
471456
return INHERITANCE_SUCCESS;
472457
}
473458
}
474-
if (ZEND_TYPE_FULL_MASK(proto_type) & MAY_BE_ITERABLE) {
475-
if (!fe_ce) fe_ce = lookup_class(fe_scope, fe_class_name);
476-
if (!fe_ce) {
477-
have_unresolved = 1;
478-
} else if (unlinked_instanceof(fe_ce, zend_ce_traversable)) {
479-
track_class_dependency(fe_ce, fe_class_name);
480-
return INHERITANCE_SUCCESS;
481-
}
482-
}
483459

484460
zend_type *single_type;
485461

@@ -565,18 +541,6 @@ static inheritance_status zend_perform_covariant_type_check(
565541
uint32_t proto_type_mask = ZEND_TYPE_PURE_MASK(proto_type);
566542
uint32_t added_types = fe_type_mask & ~proto_type_mask;
567543
if (added_types) {
568-
// TODO: Make "iterable" an alias of "array|Traversable" instead,
569-
// so these special cases will be handled automatically.
570-
if ((added_types & MAY_BE_ITERABLE)
571-
&& (proto_type_mask & MAY_BE_ARRAY)
572-
&& zend_type_contains_traversable(proto_type)) {
573-
/* Replacing array|Traversable with iterable is okay */
574-
added_types &= ~MAY_BE_ITERABLE;
575-
}
576-
if ((added_types & MAY_BE_ARRAY) && (proto_type_mask & MAY_BE_ITERABLE)) {
577-
/* Replacing iterable with array is okay */
578-
added_types &= ~MAY_BE_ARRAY;
579-
}
580544
if ((added_types & MAY_BE_STATIC)
581545
&& zend_type_permits_self(proto_type, proto_scope, fe_scope)) {
582546
/* Replacing type that accepts self with static is okay */
@@ -603,19 +567,16 @@ static inheritance_status zend_perform_covariant_type_check(
603567
* We still perform a class lookup for forward-compatibility reasons,
604568
* as we may have named types in the future that are not classes
605569
* (such as typedefs). */
606-
if (proto_type_mask & (MAY_BE_OBJECT|MAY_BE_ITERABLE)) {
607-
bool any_class = (proto_type_mask & MAY_BE_OBJECT) != 0;
570+
if (proto_type_mask & MAY_BE_OBJECT) {
608571
ZEND_TYPE_FOREACH(fe_type, single_type) {
609572
zend_string *fe_class_name = get_class_from_type(fe_scope, *single_type);
610573
if (!fe_class_name) {
611574
continue;
612575
}
613576
zend_class_entry *fe_ce = lookup_class(fe_scope, fe_class_name);
614577
if (fe_ce) {
615-
if (any_class || unlinked_instanceof(fe_ce, zend_ce_traversable)) {
616-
track_class_dependency(fe_ce, fe_class_name);
617-
return INHERITANCE_SUCCESS;
618-
}
578+
track_class_dependency(fe_ce, fe_class_name);
579+
return INHERITANCE_SUCCESS;
619580
} else {
620581
have_unresolved = true;
621582
}

‎Zend/zend_string.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -555,6 +555,7 @@ EMPTY_SWITCH_DEFAULT_CASE()
555555
_(ZEND_STR_FALSE, "false") \
556556
_(ZEND_STR_NULL_LOWERCASE, "null") \
557557
_(ZEND_STR_MIXED, "mixed") \
558+
_(ZEND_STR_TRAVERSABLE, "Traversable") \
558559
_(ZEND_STR_SLEEP, "__sleep") \
559560
_(ZEND_STR_WAKEUP, "__wakeup") \
560561
_(ZEND_STR_CASES, "cases") \

‎Zend/zend_type_info.h

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,6 @@
3838
/* These are used in zend_type, but not for type inference.
3939
* They are allowed to overlap with types used during inference. */
4040
#define MAY_BE_CALLABLE (1 << IS_CALLABLE)
41-
#define MAY_BE_ITERABLE (1 << IS_ITERABLE)
4241
#define MAY_BE_VOID (1 << IS_VOID)
4342
#define MAY_BE_NEVER (1 << IS_NEVER)
4443
#define MAY_BE_STATIC (1 << IS_STATIC)

‎ext/opcache/jit/zend_jit_arm64.dasc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11906,7 +11906,7 @@ static int zend_jit_fetch_obj(dasm_State **Dst,
1190611906
uint32_t flags = opline->extended_value & ZEND_FETCH_OBJ_FLAGS;
1190711907

1190811908
if (flags == ZEND_FETCH_DIM_WRITE) {
11909-
if ((ZEND_TYPE_FULL_MASK(prop_info->type) & (MAY_BE_ITERABLE|MAY_BE_ARRAY)) == 0) {
11909+
if ((ZEND_TYPE_FULL_MASK(prop_info->type) & MAY_BE_ARRAY) == 0) {
1191011910
| cmp REG2w, #IS_FALSE
1191111911
| ble >1
1191211912
|.cold_code

‎ext/opcache/jit/zend_jit_helpers.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1502,7 +1502,7 @@ static zend_always_inline bool check_type_array_assignable(zend_type type) {
15021502
if (!ZEND_TYPE_IS_SET(type)) {
15031503
return 1;
15041504
}
1505-
return (ZEND_TYPE_FULL_MASK(type) & (MAY_BE_ITERABLE|MAY_BE_ARRAY)) != 0;
1505+
return (ZEND_TYPE_FULL_MASK(type) & MAY_BE_ARRAY) != 0;
15061506
}
15071507

15081508
static zend_property_info *zend_object_fetch_property_type_info(
@@ -1647,7 +1647,7 @@ static void ZEND_FASTCALL zend_jit_check_array_promotion(zval *val, zend_propert
16471647
if ((Z_TYPE_P(val) <= IS_FALSE
16481648
|| (Z_ISREF_P(val) && Z_TYPE_P(Z_REFVAL_P(val)) <= IS_FALSE))
16491649
&& ZEND_TYPE_IS_SET(prop->type)
1650-
&& (ZEND_TYPE_FULL_MASK(prop->type) & (MAY_BE_ITERABLE|MAY_BE_ARRAY)) == 0) {
1650+
&& (ZEND_TYPE_FULL_MASK(prop->type) & MAY_BE_ARRAY) == 0) {
16511651
zend_string *type_str = zend_type_to_string(prop->type);
16521652
zend_type_error(
16531653
"Cannot auto-initialize an array inside property %s::$%s of type %s",

‎ext/opcache/jit/zend_jit_x86.dasc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12595,7 +12595,7 @@ static int zend_jit_fetch_obj(dasm_State **Dst,
1259512595
uint32_t flags = opline->extended_value & ZEND_FETCH_OBJ_FLAGS;
1259612596

1259712597
if (flags == ZEND_FETCH_DIM_WRITE) {
12598-
if ((ZEND_TYPE_FULL_MASK(prop_info->type) & (MAY_BE_ITERABLE|MAY_BE_ARRAY)) == 0) {
12598+
if ((ZEND_TYPE_FULL_MASK(prop_info->type) & MAY_BE_ARRAY) == 0) {
1259912599
| cmp dl, IS_FALSE
1260012600
| jle >1
1260112601
|.cold_code

‎ext/opcache/tests/iterable_type_optimization.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ test(new stdClass);
1212

1313
?>
1414
--EXPECTF--
15-
Fatal error: Uncaught TypeError: test(): Return value must be of type iterable, stdClass returned in %s:%d
15+
Fatal error: Uncaught TypeError: test(): Return value must be of type Traversable|array, stdClass returned in %s:%d
1616
Stack trace:
1717
#0 %s(%d): test(Object(stdClass))
1818
#1 {main}

‎ext/reflection/php_reflection.c

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3073,9 +3073,6 @@ ZEND_METHOD(ReflectionUnionType, getTypes)
30733073
if (type_mask & MAY_BE_CALLABLE) {
30743074
append_type_mask(return_value, MAY_BE_CALLABLE);
30753075
}
3076-
if (type_mask & MAY_BE_ITERABLE) {
3077-
append_type_mask(return_value, MAY_BE_ITERABLE);
3078-
}
30793076
if (type_mask & MAY_BE_OBJECT) {
30803077
append_type_mask(return_value, MAY_BE_OBJECT);
30813078
}

‎ext/reflection/tests/ReflectionClass_isArray.phpt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ Deprecated: Method ReflectionParameter::isArray() is deprecated in %s on line %d
2121
bool(true)
2222

2323
Deprecated: Method ReflectionParameter::isArray() is deprecated in %s on line %d
24-
bool(false)
24+
bool(true)
2525

2626
Deprecated: Method ReflectionParameter::isArray() is deprecated in %s on line %d
2727
bool(false)

0 commit comments

Comments
 (0)