On Thu, 9 Apr 2020 at 13:18, Dan Ackroyd <dan...@basereality.com> wrote:

> It appears to be the same error case as:
>

And that code had a mistake. Should have been:

```
class A {
     public function add(A $rhs) {...}
}

class B {
    public function add(A|B $rhs) {...}
}

$a = new A;
$b = new B;

$b->add($a);  // Ok
$a->add($b);  // TypeError
```

cheers
Dan
Ack

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to