No, I meant the former. Even if those conditions are not met, TCO is not off the table. The compiler can simply generate a second copy of the function specifically for the recursive call.