> Without this, the mixed type-hint is basically meaningless noise, is it > not? About as effective is a doc-block?
This mixed type seems to be meaningless by design since its main goal is to work the same as if it was no type-hint at all... Another thing is that including null as part of mixed is not very pragmatic - mixed could be used to disallow null, so it will actually work for type check. Regards, Robert Korulczyk -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
