Someone on here had the neat idea of a “become” keyword replacing “return” when TCO is desired. I thought it was the obvious route forward and remain confused why I still haven’t seen it adopted.
Of course it's nowhere near a guarantee that it would land in the stable language, but it's still an opportunity to try it in practice.