If you consider the lack of an explicit type to mean the theoretical "Any" type which is a supertype of all types then dropping the hint is a form of contravariance. I would prefer to support normal contravariance for parameter types in which this is just a special case. However, I am not sure I would be against it without regular contravariance support if it came to a vote.
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
