I'm not a compiler dev, but I know that many functional programming languages struggle with this in the same manner if the target platform does not support TCE

I'm not a compiler dev, but I know that many functional programming languages struggle with this in the same manner if the target platform does not support TCE itself, and therefore require trampolining.