https://github.com/Sirraide approved this pull request. Do we want to issue a diagnostic for this? I would imagine that users could get confused about this if they don’t know *why* the operator is marked as deleted. https://github.com/llvm/llvm-project/pull/139767