How to import C assert in cpp20 experimental

Question

I'd like to use the C assert with C++20 in Visual Studio 2019 (compiling with std:c++latest), but I couldn't find the correct module to import. Is it already supported and if yes, which module I should import?

import std.core;
constexpr auto f()
{
    return "Hello world!";
}
int main()
{
    static_assert(f() == "Hello world!"); // Compile time assert works.
    //assert(f() == "Hello world!"); // How to import runtime assert()?
    //[[assert: f() == "Hello world!"]] // Contracts were removed from cpp20.
    std::cout << f();
}

Output: Hello world!

Answer 1

Modules do not contain macros. Importing legacy module headers will bring in macros, but import std.core; or whatever never will bring in a macro.