Comment by LukeShu

GCC has `[[gnu::musttail]] return`.

But yes, framing TCO as an optimization is unfortunate.