Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99168
Return-Path: <danack@basereality.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 93938 invoked from network); 25 May 2017 10:32:17 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 25 May 2017 10:32:17 -0000
Authentication-Results: pb1.pair.com header.from=danack@basereality.com; sender-id=unknown
Authentication-Results: pb1.pair.com smtp.mail=danack@basereality.com; spf=permerror; sender-id=unknown
Received-SPF: error (pb1.pair.com: domain basereality.com from 209.85.192.176 cause and error)
X-PHP-List-Original-Sender: danack@basereality.com
X-Host-Fingerprint: 209.85.192.176 mail-pf0-f176.google.com  
Received: from [209.85.192.176] ([209.85.192.176:33203] helo=mail-pf0-f176.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 0A/D4-10292-0B2B6295 for <internals@lists.php.net>; Thu, 25 May 2017 06:32:17 -0400
Received: by mail-pf0-f176.google.com with SMTP id e193so163647249pfh.0
        for <internals@lists.php.net>; Thu, 25 May 2017 03:32:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=basereality-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=nlnN/olEjhFzFv1kd+iMrkqa7pxOfzl09mVtrdhnNlI=;
        b=vgWsWYVn9Uf6ZHtOINEp6DN6y6ziJ8f0iq1Vfk9afMQW3qtD4HpvPYwgmugXyP2VyZ
         fjcmg+rnnQoFZDM1MAa22pxBQl0HscHci9TVxKFgtKFzaZZCJwvj5iKrPymQkpvFpw61
         N/2yyiN1jpQnSMxixJNwWE7G5sgZaKwOBKJpSz+uHNtjv653IQgG77w8mDc6v94Jv0L/
         r4pqY33r6PdAGDP6DGa976PiSoAKQW8XY7DLgoMuTJzhxPUrsmsUM/RNsCgyr/ejjHEp
         x6iJiQnMfpMQYBukw7a2HRwP/nAq0hP4v572gK02K8qJqUvXyNZmRhX/Ft6YOX1jgcFl
         s+Bg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:cc;
        bh=nlnN/olEjhFzFv1kd+iMrkqa7pxOfzl09mVtrdhnNlI=;
        b=czDB/WrglrFDCLGU78JnPoag75JehZPf/7Wj8didhQsxD5Pp3H8CHz4OKnmshcXtzq
         lVBXjPXVPkYceU1nTgbo2MtxjIsF6WgfNiBE1EzOMGqJIQXOheOkqUVc3CKSIc01wrcn
         A1GQ3tBV5FhcZ5KjeWSowVsHBwIiUYHFy8Gpvx531nWkwyYr/Ym62GjDcoMvv863iSL3
         HFLpuXV7TQ7sMXrnNoc/2xNRF1xbCiNL7pgieXrEgTmktUDuKdJhuv9PQ5cKssc8EM0x
         +8cTT8d4FWoBeHC6YzFH70vodJi/id1Ee7MkkOemKiiSFqefVsSzY1mR5L7SC7Qi8WM4
         e+qw==
X-Gm-Message-State: AODbwcAJQyTV2yERMd2+f+W/z2jnrwoA/xYBR6Rg8bWsyV3wGBxxEMlN
	wO66LyzSTyJVFf2f2dsZKjJw49dYf/Se
X-Received: by 10.99.105.7 with SMTP id e7mr38707355pgc.142.1495708333218;
 Thu, 25 May 2017 03:32:13 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.100.151.163 with HTTP; Thu, 25 May 2017 03:32:12 -0700 (PDT)
X-Originating-IP: [81.143.203.71]
In-Reply-To: <CADqTB_gbhw+pr+8dpkwdFwRTjiY4pk6fyeTnLUv72fBjTpArZA@mail.gmail.com>
References: <CADqTB_jB2ic4jx84HXVBPDr2qbP-DnXe782quKwc6o-ERpJJVw@mail.gmail.com>
 <CANUQDCjpjz8Wret1D6q9wb8rfBH4Xqc4uDqLTtuptkUdesUK4g@mail.gmail.com> <CADqTB_gbhw+pr+8dpkwdFwRTjiY4pk6fyeTnLUv72fBjTpArZA@mail.gmail.com>
Date: Thu, 25 May 2017 11:32:12 +0100
Message-ID: <CA+kxMuS=xBVQdyObpU2yK1jtr+3=JmAPJK-DaRKCZdCZRCfp2w@mail.gmail.com>
To: Rasmus Schultz <rasmus@mindplay.dk>
Cc: Niklas Keller <me@kelunik.com>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Parameter type widening RFC
From: danack@basereality.com (Dan Ackroyd)

On 25 May 2017 at 10:21, Rasmus Schultz <rasmus@mindplay.dk> wrote:

> So this breaks the expected behavior of interfaces.

No it doesn't. It allows interfaces to use contravariance within PHP's
type system, which is different from before, but it doesn't break
anything.

Niklas Keller wrote:
> The interface will just work correctly, what's the actual problem you're
seeing?

Rasmus, not answering people's questions and instead saying emotional
stuff suggesting other people have made historically bad decisions
isn't a productive way to conduct a conversation.

cheers
Dan