Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:97144
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain mabe.berlin from 80.237.132.167 cause and error)
To: internals@lists.php.net
References: <CA+kxMuS7BJyJOo0p-+8CF+bKy5oTLWLJVygA=u89iNHPXjENRQ@mail.gmail.com>
Message-ID: <87d52a15-5fbf-a6fe-fea3-638c24186d99@mabe.berlin>
Date: Wed, 23 Nov 2016 12:07:13 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
MIME-Version: 1.0
In-Reply-To: <CA+kxMuS7BJyJOo0p-+8CF+bKy5oTLWLJVygA=u89iNHPXjENRQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Object type hint, now with added
 variance
From: dev@mabe.berlin (Marc Bennewitz)



Am 23.11.2016 um 01:52 schrieb Dan Ackroyd:
> Hi,
>
> This is the reintroduction of the Object Type RFC for discussion.
>
> There was previously strong feedback from people who would prefer that
> the inheritance checks for methods that use object types should be
> co/contravariant. This has been added to the RFC.
>
> https://wiki.php.net/rfc/object-typehint

I like this RFC :)

And I have a question where I'm not sure if that should be catched by 
this RFC, too:

If I declare a return type of "object" and extends that to return 
"static" it doesn't compile because "static" is not a valid return type yet.

https://3v4l.org/lp3AB/rfc#version=rfc-typed-properties

class Test {
     public static function factory() : object {
         return new static();
     }
}

class Test2 extends Test {
     public static function factory() : static {
         return parent::factory();
     }
}


>
> cheers
> Dan
> Ack
>