`DEBUG` and release builds -- is it reasonable to expect the compiler to completely optimise away the `check` function on non-`DEBUG` builds, but leave the side effects of the arguments alone?

check.cpp

#ifdef DEBUG
    inline void check(const auto &b) {
        if ( !b ) std::terminate();
    }
#else
    inline void check(const auto &) {
    }
#endif


// Writes the data to the file. Returns true on success
bool save_file(std::string filename, std::string data);


int main() {
    // This completely goes in release builds
    check("Optimised out?");

    // save_file is called, but nothing else happens in release builds
    check(save_file("test.txt", "Side effect left in?\n"));
}