Compilation error
It’s hard to detect all UB at compile time
It’s harder depending on the language, which is clearly the point.
