Erroneous behavior in C++26 is well-defined behavior that the implementation is recommended to diagnose.