dseguy, French #PHP allows a constant to be called 'int', but it will then mistake it with the (int) cast operator as soon as it is between parenthesis.
The code below is a fatal error!
And this applies to all the other cast operators.
https://php-tips.readthedocs.io/en/latest/tips/cast_is_strong.html
Add comment