Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:98656
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.178 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.20.1703281130480.1685@singlemalt.home.derickrethans.nl>
References: <CAOv67gvSwcecO30_ufkH7D0HyZ9inqnCq9yQHrfL_t50vri3hg@mail.gmail.com>
 <CADyq6sLmauetu9fKBcVxgZsx0OD77d8FGOwm5aoU_SdAABAqmw@mail.gmail.com>
 <CADyq6sJhVohkUgDArOSzfdD07TTwiorTSJqxUwXV=gv7=jteRw@mail.gmail.com>
 <CADyq6sJZ7k564F1-U+kF-rUf8xaHbCAXqG+a5AuZbVfpTgEVNg@mail.gmail.com> <alpine.DEB.2.20.1703281130480.1685@singlemalt.home.derickrethans.nl>
Date: Tue, 28 Mar 2017 18:09:51 +0200
Message-ID: <CAOv67gvukG8Ycwjr-kXHiv=6WAGbu2pPD3+QVA50vPQ45yXp+Q@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=94eb2c086e1a9dbd01054bccb0da
Subject: Re: [PHP-DEV][RFC][VOTE] Allow abstract function override
From: netmo.php@gmail.com (Wes)

--94eb2c086e1a9dbd01054bccb0da
Content-Type: text/plain; charset=UTF-8

Hi Derick, sorry, previous message was meant to reply to you. There is no
BC break, not even subtle.

Ocramius' assumption is wrong. The most authoritative one is the innermost
and closest ancestor definition. It is like that for classes, it is like
that for interfaces, should be like that for abstract methods as well. And
it's just an assumption anyway.

Substitutability rules define this and it is very straightforward to me:
are the overridden signatures type-compatible with the super definition?
Yes. Then it should be allowed; we should not care if it's redundant, we
should not care if it has few uses, just keep it consistent, IMO.

Use cases are the same of a type change in a sub-interface, which, again,
PHP does allow, even if to/from no-type only for now.

Regards.

--94eb2c086e1a9dbd01054bccb0da--