https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121563
--- Comment #10 from Alejandro Colomar <foss+...@alejandro-colomar.es> --- I think the constraint makes sense for simplicity of implementation, as you say. And indeed, GCC's current implementation shows that. And as a side effect, we prevent some plausible mistakes. If a quality implementation chooses to loosen the constraint by continuing translation, and someone finds a good use for that, good for them. But without a good use, I think simplicity of implementation and rejecting mistakes early are good consequences of the constraint.
