Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92801
Return-Path: <me@kelunik.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 6449 invoked from network); 26 Apr 2016 17:00:47 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 26 Apr 2016 17:00:47 -0000
Authentication-Results: pb1.pair.com header.from=me@kelunik.com; sender-id=unknown
Authentication-Results: pb1.pair.com smtp.mail=me@kelunik.com; spf=permerror; sender-id=unknown
Received-SPF: error (pb1.pair.com: domain kelunik.com from 81.169.146.160 cause and error)
X-PHP-List-Original-Sender: me@kelunik.com
X-Host-Fingerprint: 81.169.146.160 mo4-p00-ob.smtp.rzone.de  
Received: from [81.169.146.160] ([81.169.146.160:21120] helo=mo4-p00-ob.smtp.rzone.de)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 35/04-20013-EBE9F175 for <internals@lists.php.net>; Tue, 26 Apr 2016 13:00:47 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1461690043; l=1035;
	s=domk; d=kelunik.com;
	h=Content-Type:Cc:To:From:Subject:Date:References:In-Reply-To:
	MIME-Version;
	bh=Mb953UnimjBYTqVA4emPuNwJms/4sH0q/qIoJBkeOOA=;
	b=DhfzWOSo8NqKWvLma1rbZSxjghKGCElmV5c1ALig49vXJkxNyKHQoISWl9vnP6F4kvp
	HWHX+cWEE1Ueq+A+6ITORMCO/XZxqU5iRFKRnN3AY2n8NRuVxuEfVi0dUROCCiWM9i3r6
	O1D/CZanm95Yw3flRw8laIu49XPTS7Aj0Ic=
X-RZG-AUTH: :IWkkfkWkbvHsXQGmRYmUo9mls2vWuiu+7SLGvomb4bl9EfHtO3Y6
X-RZG-CLASS-ID: mo00
Received: from mail-wm0-f45.google.com ([74.125.82.45])
	by smtp.strato.de (RZmta 37.24 AUTH)
	with ESMTPSA id d037e2s3QH0huOq
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (curve secp384r1 with 384 ECDH bits, eq. 7680 bits RSA))
	(Client did not present a certificate)
	for <internals@lists.php.net>;
	Tue, 26 Apr 2016 19:00:43 +0200 (CEST)
Received: by mail-wm0-f45.google.com with SMTP id e201so4565253wme.0
        for <internals@lists.php.net>; Tue, 26 Apr 2016 10:00:43 -0700 (PDT)
X-Gm-Message-State: AOPr4FUBALcWGkANLzNU64PJmNWCYMwZ6JWuyU5Pv/A9J7Yoz8cvcqIwkMFAenrmXQhobzJnfpWgNpxK6TVOKw==
MIME-Version: 1.0
X-Received: by 10.28.19.140 with SMTP id 134mr5015854wmt.73.1461690043246;
 Tue, 26 Apr 2016 10:00:43 -0700 (PDT)
Received: by 10.28.93.145 with HTTP; Tue, 26 Apr 2016 10:00:43 -0700 (PDT)
In-Reply-To: <BLU436-SMTP3398BEEBCDB387DB97C64BE2630@phx.gbl>
References: <CAFMT4Npe8hJ1HOeJB3kfN11fnmyzRGi6znuR=Ay8kHds-ogSXQ@mail.gmail.com>
	<CY1PR0201MB1786D216DB7CE6D61B61E9D7BF630@CY1PR0201MB1786.namprd02.prod.outlook.com>
	<BLU436-SMTP543725ED65FFDEA7E68832E2630@phx.gbl>
	<571F7B91.2030102@zend.com>
	<CAFMT4Nqgtki+vm-VHUsUGvPmx0CAsS6tOcfe7OTvxz5LWhJJGw@mail.gmail.com>
	<BLU436-SMTP3398BEEBCDB387DB97C64BE2630@phx.gbl>
Date: Tue, 26 Apr 2016 19:00:43 +0200
X-Gmail-Original-Message-ID: <CANUQDCiyXMA4OcvYzh9BhuHx=HJST4VGmZ7F1Dwem9Yw7HoSxg@mail.gmail.com>
Message-ID: <CANUQDCiyXMA4OcvYzh9BhuHx=HJST4VGmZ7F1Dwem9Yw7HoSxg@mail.gmail.com>
To: Bob Weinand <bobwei9@hotmail.com>
Cc: Levi Morrison <morrison.levi@gmail.com>, Dmitry Stogov <dmitry@zend.com>, 
	internals <internals@lists.php.net>, Joe Watkins <pthreads@pthreads.org>
Content-Type: multipart/alternative; boundary=001a11471162ccb9950531663bf0
Subject: Re: [PHP-DEV] [RFC] Patch for Union and Intersection Types
From: me@kelunik.com (Niklas Keller)

--001a11471162ccb9950531663bf0
Content-Type: text/plain; charset=UTF-8

2016-04-26 16:58 GMT+02:00 Bob Weinand <bobwei9@hotmail.com>:

> Yeah, I'd like to not allow ?Foo in any case if union types pass.
>

What's the reason for that? To me, null is neither a type nor should it be.

--001a11471162ccb9950531663bf0--