On Thu, May 7, 2020 at 3:00 AM MÃ¡tÃ© Kocsis <firstname.lastname@example.org> wrote:
> Hi Internals,
> We have just opened the vote on the Mixed type v2 RFC. The voting will be
> open for two weeks, until 2020-05-21 12:00 UTC.
> Link: https://wiki.php.net/rfc/mixed_type_v2
Somewhat begrudgingly, I have voted yes. I see no value in `mixed`
being different than no type being specified at all, and suspect we'll
have minor inconveniences due `mixed` not being exactly the same as no
type at all.