Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105178
Return-Path: <gadelat@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 66636 invoked from network); 9 Apr 2019 18:03:24 -0000
Received: from unknown (HELO mail-wm1-f47.google.com) (209.85.128.47)
  by pb1.pair.com with SMTP; 9 Apr 2019 18:03:24 -0000
Received: by mail-wm1-f47.google.com with SMTP id h18so3732447wml.1
        for <internals@lists.php.net>; Tue, 09 Apr 2019 08:00:19 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=from:to:cc:date:message-id:in-reply-to:references:user-agent
         :subject:mime-version:content-transfer-encoding;
        bh=JocuGOaq1S7La9LZR0Ls68Q18GMxV5ktiS5KJ/FJRvA=;
        b=hbCLF836tG+CNDl271Q1ToT7vKeNcFIt9dHAH5JGZKcP1gEhweWS7ou/lHfq2b7eNd
         Y1owb7WCkTDQeED+Fy4mCvj7EEpXzIvh4Dv21pYitOqVIp+DHTVXY8DGcgdZxmoAphCW
         vGICURGU3gljeWoJaCLq3V6w52FPX2TV2jpRkWBVtAK3L8YFdg/HXeGQQ41Xq7AEPTaN
         Vei28Ecp7kGjYb215sDB6DHzFGuiO3WjATBWQCqqJnQoPC2vLfLn1tpekkaN7HAkMKCJ
         CRnjPBZtPU13CvNdGaMKz07ESO9Ad7guUlAF5KgMqxoOwGo0q6TkparLbATq0cOnq6yH
         yO/g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:to:cc:date:message-id:in-reply-to
         :references:user-agent:subject:mime-version
         :content-transfer-encoding;
        bh=JocuGOaq1S7La9LZR0Ls68Q18GMxV5ktiS5KJ/FJRvA=;
        b=L+RUOPQTuTajR8mCWLCI7oMyn3806NM47eHaxty2ZDptDgbCWhdofMZnGEKUDEvsef
         dKBcGb1BCaBKy1QGUSbN8KhMHflesYzKgPk5+BusR+BfCK9pgTj0iMLptLHPbmgEY45e
         nxt72QQvmBUxrAl/QHWf+xjGsIKnVCjASG+C43TrUd2BU11pJl4Q0JH1EfsGlj9fE0S8
         3hvQWjnGU3JLKgiiDqvATQvD6wXP1jDmxkCFdnwZQN59GsKpy66Yy7ktEcGpWpouLVC+
         6uYL+pNSnkQ2gpLFvHRnaR+soUA/rabLgKV1HILEe7NuF/4Akci6uAo5s/f6w29gOX2u
         mVlQ==
X-Gm-Message-State: APjAAAUq82q7RZLfS3LHm8PhqBoQEnPJtcRR3uyHt9bKFWi7KcX8WTyr
	PCR/mbw5u0kZIeVDCT4AN38evg069MI=
X-Google-Smtp-Source: APXvYqzyM06VmXQ0lcVR1O90LzATQ/m3tMZn5PyrLkabE8RmL5TxNe/CsVOx1YdIgrHyB56hvNQIdQ==
X-Received: by 2002:a7b:c086:: with SMTP id r6mr5061477wmh.123.1554822017015;
        Tue, 09 Apr 2019 08:00:17 -0700 (PDT)
Received: from [100.64.123.246] ([84.245.121.25])
        by smtp.gmail.com with ESMTPSA id t15sm16899325wmt.2.2019.04.09.08.00.16
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Tue, 09 Apr 2019 08:00:16 -0700 (PDT)
To: Dan Ackroyd <Danack@basereality.com>
CC: PHP internals <internals@lists.php.net>
Date: Tue, 09 Apr 2019 17:00:15 +0200
Message-ID: <16a029d2430.27c1.08be835b7d1a2c2edb4c4286afe1a236@gmail.com>
In-Reply-To: <CA+kxMuSyV1srU1RDuEMG=sNSA09MCMwdKohKE9pHWW7vVwDNJQ@mail.gmail.com>
References: <CAF+90c_Xcz6rTq_CdAFdGBhW2eLDZOVEkLRgKgJZTwRQSsTTBA@mail.gmail.com>
 <3BCEA463-BD9B-468B-AF26-E0AD75C5F559@gmail.com>
 <CA+kxMuSyV1srU1RDuEMG=sNSA09MCMwdKohKE9pHWW7vVwDNJQ@mail.gmail.com>
User-Agent: AquaMail/1.19.0-1434 (build: 101900002)
MIME-Version: 1.0
Content-Type: text/plain; format=flowed; charset="us-ascii"
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] [RFC] Always generate fatal error for incompatible method signatures
From: gadelat@gmail.com (Gabriel O)

I believe rfc deals with reverse situation

On 9 April 2019 4:47:50 PM Dan Ackroyd <Danack@basereality.com> wrote:

> On Tue, 9 Apr 2019 at 11:58, Gabriel O <gadelat@gmail.com> wrote:
>
>> And this RFC conveniently shows only big LSP violation examples like array 
>> -> int, but not widely used narrowing like mixed/object -> specific instance.
>
>
> Type narrowing or contravariant parameters is properly supported for
> PHP 7.4: 
> https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters
> , which is why this RFC doesn't need to cover them.
>
> cheers
> Dan
> Ack