Comment by ircmaxell

Except that in PHP type declaration mismatches are actually errors... They aren't just "documentation" to be used by static analyzers.