Re: Mixed type-hint
| From: | Robert Korulczyk | Date: | Fri, 08 Feb 2019 11:20:55 +0000 |
| Subject: | Re: Mixed type-hint | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-104307@lists.php.net to get a copy of this message | ||
> 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