Hey. 

> No mistake: the "pure intersection types" RFC was explicitly designed to 
> avoid scope creep (this RFC).


Just because it was intentional, does not make it less of a mistake. 
I see that we have different views of this. And I understand that you are happy 
with this change, but only for 8.2. 

>  the decision to halt this vote (if desired), is with the RMs,
> not the internal contributors.

Yes, naturally. Sorry if I implied something else. 

// Tobias
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to