`mixed` is the "top" type, which means that it contains anything at all. See https://en.wikipedia.org/wiki/Top_type
On Fri, 8 Feb 2019, 12:45 Robert Korulczyk <rob...@korulczyk.pl wrote: > What definition? > > Regards, > Robert Korulczyk > > W dniu 08.02.2019 o 12:37, Marco Pivetta pisze: > > Mixed includes null by definition. > > > > On Fri, 8 Feb 2019, 12:21 Robert Korulczyk <rob...@korulczyk.pl <mailto: > rob...@korulczyk.pl> wrote: > > > > > 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 > > >
