Evening, There doesn't seem to be a patch or implementation.
Aside from the proposed semantics, which I can't really read because the document is malformed, the most important questions for me are: How is this going to work? Can it be done without significant complexity in the compiler or VM? Without an implementation I can't really consider the ideas proposed, because they are just ideas without proof that they are reasonably implementable. While you can technically move forward with an RFC without implementation, in this case the implementation should inform our decision at vote time. Cheers Joe On Tue, 25 Jun 2019, 23:19 Benjamin Morel, <benjamin.mo...@gmail.com> wrote: > Impressive work indeed, this would be a perfect addition to strict_types > that would remove a lot of WTFs while preserving BC with older code. > > Please note that the formatting of the RFC is broken after the Bitwise > Operators section. > > Ben >