https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120389
--- Comment #4 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 61551 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61551&action=edit Improved proposed fix This patch type checks lvalues within the becomes op. It also rewrites and tidies up the type checker adding optional detail on why the type violation occurred.
