Closed

nikic and others added 11 commits

July 5, 2021 04:14

Make zend_perform_intersection_covariant_class_type_check() a
single function that checks whether a simple type is a subtype of
a complex type.

I think this is still not quite correct :/

It wasn't immediatly obvious to me while starring at the code that the case where a parent type is not loadable is handled.
Just needed to understand that get_class_from_type() only returns NULL when it is not a class-type

Refactor a bit the handling of iterable as a by product.

Girgias deleted the intersection-types branch

July 5, 2021 12:41

Merged

jrfnl mentioned this pull request

Aug 17, 2021

Merged

jrfnl added a commit to PHPCompatibility/PHPCompatibility that referenced this pull request

Jan 3, 2023

jrfnl added a commit to PHPCompatibility/PHPCompatibility that referenced this pull request

Jan 3, 2023

jrfnl added a commit to PHPCompatibility/PHPCompatibility that referenced this pull request

Jan 3, 2023

jrfnl mentioned this pull request

Jan 3, 2023

Merged

jrfnl mentioned this pull request

Aug 4, 2023

Merged

adrian-enspired pushed a commit to adrian-enspired/php-src that referenced this pull request

Aug 4, 2026