Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114719
Return-Path: <george.banyard@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 10875 invoked from network); 3 Jun 2021 19:18:25 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 3 Jun 2021 19:18:25 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id 93E3C1804D8
	for <internals@lists.php.net>; Thu,  3 Jun 2021 12:32:00 -0700 (PDT)
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net
X-Spam-Level: 
X-Spam-Status: No, score=-0.7 required=5.0 tests=BAYES_05,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,
	RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS
	autolearn=no autolearn_force=no version=3.4.2
X-Spam-Virus: No
X-Envelope-From: <george.banyard@gmail.com>
Received: from mail-ed1-f45.google.com (mail-ed1-f45.google.com [209.85.208.45])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256)
	(No client certificate requested)
	by php-smtp4.php.net (Postfix) with ESMTPS
	for <internals@lists.php.net>; Thu,  3 Jun 2021 12:32:00 -0700 (PDT)
Received: by mail-ed1-f45.google.com with SMTP id r11so8390387edt.13
        for <internals@lists.php.net>; Thu, 03 Jun 2021 12:32:00 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:from:date:message-id:subject:to;
        bh=rawtjfbm+70Y+8hHX0rxs+Vs7VZK+1vRwK2VxupXD24=;
        b=eA+x0sIWynYjS7o14W6vtCXDxApZv8qOMp5cvKBQ/V1o2Jnn2oIXPL6zoo27DGi6NK
         BLVYUimHCJRTsF+W5GHoKHeSKggPqYArV3aep82KXmunrHsf246DwF7zy8FoW6MKL3HK
         uPxuWK41M09dO3eklOmZQSeC9pUL9ATJQIhJ42d7HuWoVctXeXIh5Pz15hU1Nrk/427h
         mwF7XlnQqAmKvRUIQlN6xeGg1RnXSsnfYixCzcmZLCFhOJYIDJWC7vORlL5r2PJ9kXHf
         fn5bJZiwbvR3GZIPJg1fft4v7EExB2XnvaDL+O1xCQmuTCkeK2zUfk/oCkrZcejIh+5m
         CMuQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=rawtjfbm+70Y+8hHX0rxs+Vs7VZK+1vRwK2VxupXD24=;
        b=luC+J4RIo/ONzWX8iIDdREYefp8nol6F0xDkiPkn02o1B6gTgfUT+4pnBlQKLEiWbv
         I7hJ+b5vCe6q2eOfQTujXG4jrlqYQ/27aNOkDzKHitbWyYhggGuzL3paKWkrXcaVB4bk
         vgEVa2Z0N3dmFT4jbaLjg4qyeE/Q0gC3hLo174ndVYfNn7zvfWusTaHHAGyw1oCmH9ln
         pSjrYp7O+8xqItmxsEnekVdwrgVz3eLHWX1jx3v0hTYIWYIP6gqTmx+SbSkoC5RVXZCs
         GJA8wGtj038mewWqYfdKt65DsWXupw83cOkovSrYxJxttfdwCdeWQOifSX6eWLBSFdB8
         WyaA==
X-Gm-Message-State: AOAM530jBS3PbW1HQrqcykJdouZn3z1LG0JPEl3oKsQtlUCW3SMnWEzi
	PfA5fbmo8oDpADVbaR0yhxJEOAsJcJDBGSxui9QxORoS+Cc=
X-Google-Smtp-Source: ABdhPJyciWFD/ihBLszPfHSQPF0IiNQjjrYCcaN/QXxJGIwJCBiW+MnNcK41Q9eYLi0xeraSXdV44KfiqvSl7kQn9wo=
X-Received: by 2002:aa7:cdc5:: with SMTP id h5mr962960edw.217.1622748716889;
 Thu, 03 Jun 2021 12:31:56 -0700 (PDT)
MIME-Version: 1.0
Date: Thu, 3 Jun 2021 20:31:46 +0100
Message-ID: <CAFPFaM+A7GXBXMMs3Nxn=T_eCuTdyXP3jjFYuNcW3bBMTw52Dw@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000d47f3405c3e1a011"
Subject: [PHP-DEV] [VOTE] Pure intersection types
From: george.banyard@gmail.com ("G. P. B.")

--000000000000d47f3405c3e1a011
Content-Type: text/plain; charset="UTF-8"

Hello internals

I've opened the vote for the "Pure intersection types" RFC:
https://wiki.php.net/rfc/pure-intersection-types

It will run for 2 weeks and end on the 17th of June 2021

Best regards,

George P. Banyard

--000000000000d47f3405c3e1a011--