On 24.04.20 16:33, Bob Weinand wrote:
Actually,
Really had to laugh, reading your previous and then this mail :-)
I forgot that for proper generics implementations, collections etc. will obviously need
to specify "allowing any type". As such the introduction of mixed is pretty
much necessary.
As in class Foo<A, B> { … } $foo = new Foo<mixed, int>;
As such, I'm actually in favor of introducing it.
Re-quote:
> "allowing any type"
That would make the case for the `any` type instead of mixed; IMHO much
more clear.
- Markus
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
