It is usually assumed that it does not control the callee and the jump has to preserve the calling convention for a call.
If it doesn't control both then TCO is impossible, because the stack will grow with each recursive step, as it's just performing a normal call.
alt Hacker News
If it doesn't control both then TCO is impossible, because the stack will grow with each recursive step, as it's just performing a normal call.