I think this would be better done as a feature rather than a tool. It would enable (much) better code gen, and then return specialization could require that transparent returns be enabled, as well as be auto-enabled when transparent returns are enabled.
I think this would be better done as a feature rather than a tool. It would enable (much) better code gen, and then return specialization could require that transparent returns be enabled, as well as be auto-enabled when transparent returns are enabled.