efriedma-quic wrote: I would prefer to add a diagnostic to reject this; there's no existing code depending on this, and discarding bits of the constraint string is confusing. https://github.com/llvm/llvm-project/pull/196223