Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105177
Return-Path: <danack@basereality.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 63059 invoked from network); 9 Apr 2019 17:50:55 -0000
Received: from unknown (HELO mail-pf1-f172.google.com) (209.85.210.172)
  by pb1.pair.com with SMTP; 9 Apr 2019 17:50:55 -0000
Received: by mail-pf1-f172.google.com with SMTP id w25so8388486pfi.9
        for <internals@lists.php.net>; Tue, 09 Apr 2019 07:47:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=basereality-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc;
        bh=W3v/39aHE0GTa7ztl32sxu6gfhL2k4jURcxXJ58sSSQ=;
        b=M82eMjqBhEgpK7bODDk9bTLOJoJPkKoMy/EtJpUrsmBeJ83tQvLK7+aGvfnNdd/1qw
         TqovI5tTlZ8AeQ4UTvwq1E4FU/XTmklNDnfLdAfjU31ugj7N+Og3S/XEyQKA4W0E+10C
         W2rZMXjgl6Yy5SsE3O+7Nqh8mNs3Scx1/yffLUYtcg/ZoAm9fJXx4JNqFOfwZ23otFTX
         nb8EY7zlJmtWw9cBxbcBtTYeaVo4diia4JHGADc6dZkbExM7X1V6fllTUj76j+NkUyCh
         N5+uiWvrvkx+AT9FqbYo0qSWAxecHzCmKyg4rghAPurav2S29w0WxFdPbX7/+C5a65kO
         plQw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:references:in-reply-to:from:date
         :message-id:subject:to:cc;
        bh=W3v/39aHE0GTa7ztl32sxu6gfhL2k4jURcxXJ58sSSQ=;
        b=CQl0HbqFTTUfGrz+eUWOI/PsH3Gw4Tj6B73vV2JFsaF48jnEXE3Eo9JuaaFToz2MDu
         VgnfST8G1HIkCGR+NvqMFBz50ToT/AynT5RW8nnXsiRLK4JhNzoyjg3Dx1Cbz3tLiBvQ
         2viow3APoGeqrXom0ui75TEaKmgrTc9QKyw4k+7LB/AQW8imV1oKrA7bq3wE4C4rXMrp
         HY93Mz0oWNv374a+i+mA1MlJZGC6uTn70owEMdiXcYnTbbWv+QuvxQwCxRaXK2FC6xxr
         1+D7hTe5R5cB9EwjRKQDCP954kioiZI8eyR3U9F6jnnOl8KLDDlIExpKY/xPc1pLZMJD
         AWPw==
X-Gm-Message-State: APjAAAUd/YkVXQjQ7wuiPmKYiZgjGzR5Znv9cp6vRrH4pOiQfzw1P94/
	5XWO0pZ93YfXxsNeq+jGEhD6iQYDyNlVcpby6qhRvg==
X-Google-Smtp-Source: APXvYqz5257wkxNNZ+X2RNoYduMfJx7ndNZG7PXqluFe6g99i4ikwUihM3dHuqDHS//we8oKviLA0P3rKUsX/BC+Txg=
X-Received: by 2002:a62:b418:: with SMTP id h24mr36942655pfn.145.1554821269441;
 Tue, 09 Apr 2019 07:47:49 -0700 (PDT)
MIME-Version: 1.0
References: <CAF+90c_Xcz6rTq_CdAFdGBhW2eLDZOVEkLRgKgJZTwRQSsTTBA@mail.gmail.com>
 <3BCEA463-BD9B-468B-AF26-E0AD75C5F559@gmail.com>
In-Reply-To: <3BCEA463-BD9B-468B-AF26-E0AD75C5F559@gmail.com>
Date: Tue, 9 Apr 2019 15:47:37 +0100
Message-ID: <CA+kxMuSyV1srU1RDuEMG=sNSA09MCMwdKohKE9pHWW7vVwDNJQ@mail.gmail.com>
To: Gabriel O <gadelat@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] Always generate fatal error for incompatible
 method signatures
From: Danack@basereality.com (Dan Ackroyd)

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