Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103040
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.15 as permitted sender)
To: =?UTF-8?Q?Pedro_Magalh=c3=a3es?= <mail@pmmaga.net>
Cc: PHP internals <internals@lists.php.net>
References: <CAJd4=YZr978wXQYaEN8UPmx1hLOfKruYJxP_rCgsyZfuLjDsaQ@mail.gmail.com>
 <23921b52-76a1-f578-cf1d-568095c8a343@gmx.de>
 <CAJd4=YatoMaQHRiaFneH_KMdcJ_TuEYgBsNRD+LbXedmO_zSyw@mail.gmail.com>
Message-ID: <c16dec13-3b96-6558-2653-38883f464f08@gmx.de>
Date: Sat, 4 Aug 2018 13:04:18 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.9.1
MIME-Version: 1.0
In-Reply-To: <CAJd4=YatoMaQHRiaFneH_KMdcJ_TuEYgBsNRD+LbXedmO_zSyw@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 8bit
Subject: Re: On abstract methods defined on traits
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 03.08.2018 at 20:47, Pedro Magalhães wrote:

> On Fri, Aug 3, 2018 at 7:22 PM Christoph M. Becker <cmbecker69@gmx.de>
> wrote:
>
>> Frankly, I don't understand what this bug report is about,
>> <https://3v4l.org/38lmA> looks pretty much expected (note that the error
>> message is totally different from what has been reported; there is no
>> class D in the reproduce script).
> 
> Yes, the report is not very clear. But if we follow the docs logic,
> A::values in your example should fail to compile as it doesn't have the
> same signature (return type) as the method from the trait T.

Ah, now I see.  Thanks!

In other words, <https://3v4l.org/2pERT> is fine, but
<https://3v4l.org/ouO0R> is not.  I find that rather strange.

-- 
Christoph M. Becker