The @@ is terrible, are we sure we're OK with it?

Hi all, I know we've voted twice on this already, but are we really sure that the @@ syntax is a good idea? - There are lots of grumbles, both on here, room 11, as well as in the wider community (https://www.reddit.com/r/PHP/comments/hjpu79/it_is/) - It has the distinct possibility to cause further parsing issues, akin to what ended up happening with what Nikita is addressing at https://wiki.php.net/rfc/namespaced_names_as_token - There is no "end symbol" to make finding occurences easier. - It is a syntax *no other language* uses. - @ is never going to go away, so the possibility of @@ moving to @ is also 0. Please, let's do the sensible and use the Rusty #[...] syntax. cheers, Derick -- PHP 7.4 Release Manager Host of PHP Internals News: https://phpinternals.news Like Xdebug? Consider supporting me: https://xdebug.org/support https://derickrethans.nl | https://xdebug.org | https://dram.io twitter: @derickr and @xdebug