I wish every language with TCO supported some way to tell the compiler "if this cannot be optimized away I want an error." All it takes is a moment of inattent

I wish every language with TCO supported some way to tell the compiler "if this cannot be optimized away I want an error." All it takes is a moment of inattention to screw up.