On 18 February 2015 at 21:50, Anthony Ferrara <ircmax...@gmail.com> wrote: >>> Static Analysis Is Possible With Weak Declarations >> >> The advocacy of allowing `accepts_float(returns_int());` doesn't help >> the cause of static analysers in strict mode. > > Java does exactly this and is statically analyzable. So...?
As discussed elsewhere. You're absolutely right, it is up to the analyser to throw a warning on this because it is a type-based conversion rather than value based one. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
