> On 9 Mar 2024, at 21:27, Christian Schneider wrote:
> Am 09.03.2024 um 08:18 schrieb Marc :
>> As the pseudo type `mixed` exists since PHP 8.0, which is already
>> out-of-date, I have the feeling it would be better to force people to
>> explicitly write `mixed` to widen the type of an
Am 09.03.2024 um 08:18 schrieb Marc :
> As the pseudo type `mixed` exists since PHP 8.0, which is already
> out-of-date, I have the feeling it would be better to force people to
> explicitly write `mixed` to widen the type of an overwritten function and let
> "no type" inherit the argument and
Hi internals,
Based on the discussion of "Property accessor hooks, take 2" and the
set-hook argument type - I got to wonder why we still define "no type"
as `mixed`.
As the pseudo type `mixed` exists since PHP 8.0, which is already
out-of-date, I have the feeling it would be better to
