feat(types): accept an array of any object at an array<Object> parameter

[chadmandoo]

What

PHP array parameters carry no element-type enforcement (there are no generics), so a declared array<Object> should accept an array of any object — a sibling or a subtype alike.

Previously rejected (two concrete types implementing different interfaces, passed to the same array param):

final class QCond implements CondA { /* ... */ }
final class CCond implements CondB { /* ... */ }

final class QB {
    /** @var list<QCond|CCond> */
    private array $conditions;
    private function withConditions(array $conditions): self { /* ... */ }
    public function where(string $s): self   { return $this->withConditions([new QCond($s)]); }
    public function compound(string $s): self { return $this->withConditions([new CCond($s)]); } // rejected
}

How

In type_accepts, the Array(expected_elem) arm now also accepts an Array(actual_elem) when both element types are objects. Both sides share the same run representation (a boxed object pointer), so there is no element re-typing — the callee reads elements through the class table regardless of the static element name.

Test

test_array_element_object_sibling_covariance_at_param — a withConditions-style builder passing an array of a sibling concrete object, byte-parity vs PHP 8.5.

🤖 Generated with Claude Code