> On 6 Nov 2014, at 07:43, Dmitry Stogov <dmi...@zend.com> wrote:
>
> It may be a serious new problem. For example you won't be able to compile
> the following code at all?
>
> <?php
> class A {
> function foo(): C {}
> }
> class B extends A {
> function foo(): C {}
> }
> class C extends B {
> function foo(): C {}
> }
> ?>
>
> The similar code with argument type hinting works fine.
> It's just a first example I could imagine, I believe, we will get more...
I can't see any reason that example wouldn't work. The types didn't change, so
there's no class loading needed for the covariance check.
--
Andrea Faulds
http://ajf.me/
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
