Is there? As you say, there's already inlining, and I don't see how tco presents a harder case for that.
We've been using TCO here ("tail call optimization") but I recall Guy Steele advocating for calling this feature TCE ("elimination") because programs can rely on TCE for correctness.