On Tue, Jul 31, 2018 at 2:23 PM, David Rodrigues <david.pro...@gmail.com> wrote:
> Currently we have support to (int) cast (and similar). But I do think that
> we too need a possibility to do a nullable cast. In terms, it will cast to
> (int) only if value is not null, else it should be kept as null.
>
I like this proposal.  Short, simple, and consistent with other parts
of PHP syntax.  Write up an RFC for it?

-Sara

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to