Am 07.09.2021 um 12:28 schrieb Nikita Popov:
I have some reservations about this (which basically come down to $this not being a proper "type", so should it be in the type system?) but I can see the practical usefulness, so I think it's worth discussing this.
I am not conviced that there is enough value in this to introduce syntax for it, but if at all, then please not "$this" as the name for a type.
Off the top of my head, I think that "same" could make sense. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php