Then why do zero cost abstractions exist? Languages like rust and C++ make the trade off on the application side rather then the compiler side.