Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:109833
MIME-Version: 1.0
References: <CA+kxMuQ4ZrNEC76Mi7SxqijmwzxRrHD1ATgVrPkbZicUx7=YcQ@mail.gmail.com>
 <CADyq6sJJDVJPoT6AsLZewoOtf25k_dxFCW7nQ98MMxjtHpDKUg@mail.gmail.com>
 <CAKuGYLTk3HeczPE4GeHxXRafrfEsfWVY3uAzw0qWNZO=Vy8GKQ@mail.gmail.com> <od5jbUC6Ntnj_7tMm2-kw_Lkoj8MJ2BYI3foffm8_G6DwvaLNrVhOPV21UsBflj0Gl-qVWXEodLXgsJtHc93qjmuFg5S-2XicNLJ-unO5Vs=@protonmail.com>
In-Reply-To: <od5jbUC6Ntnj_7tMm2-kw_Lkoj8MJ2BYI3foffm8_G6DwvaLNrVhOPV21UsBflj0Gl-qVWXEodLXgsJtHc93qjmuFg5S-2XicNLJ-unO5Vs=@protonmail.com>
Date: Fri, 24 Apr 2020 17:44:40 +0200
Message-ID: <CADyq6sJXbngdaa38H9ioc+RfOG=7_A9pxBsSHa42xCnzsauS5w@mail.gmail.com>
To: moliata <moliata@protonmail.com>
Cc: Matthew Brown <matthewmatthew@gmail.com>, Dan Ackroyd <Danack@basereality.com>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000039f4b05a40b3fef"
Subject: Re: [PHP-DEV] [RFC] Mixed type
From: ocramius@gmail.com (Marco Pivetta)

--000000000000039f4b05a40b3fef
Content-Type: text/plain; charset="UTF-8"

Hey moliata,

On Fri, Apr 24, 2020 at 5:27 PM moliata <moliata@protonmail.com> wrote:

> Actually, it's not quite possible to declare a `mixed` type using union
> types given that it's not possible to make properties as callable (please
> take a look at my "Typed callable properties" post in the mailing list). As
> such, if we wanted to make a property hold a callable, we would have to
> fallback to just not using a type hint at all.
>
> Correct me if I'm wrong but this behavior is addressed in the RFC and we
> can pass callables to properties that are declared as `mixed`, right?
>

The only limitation right now is `resource`: `callable` is always either an
`array`, a `string` or an `object` that implements `__invoke`, so
`callable` is a subtype of the union type mentioned few posts above.

Marco Pivetta

http://twitter.com/Ocramius

http://ocramius.github.com/

--000000000000039f4b05a40b3fef--