The check would only be performed in the case where one uses the new type hint. And if someone needs this, he would manually do the same in userspace anyways (see the example in my original mail).
I would say (IMHO of course) this belongs to userspace. No reason to build such a complex and rarely used functionality into the language syntax.
-- Stanislav Malyshev, Zend Products Engineer [EMAIL PROTECTED] http://www.zend.com/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
