Daily bit(e) of C++ #326, The C++23 attribute for introducing UB into a program: [[assume(expr)]];