It may be worth moving this to the "Suspicious" category instead of "Restriction", since ordering ambiguities are basically data races. (They're more challenging to fix, which is why I don't think they should be a hard error under the "Correctness" category.)
It may be worth moving this to the "Suspicious" category instead of "Restriction", since ordering ambiguities are basically data races. (They're more challenging to fix, which is why I don't think they should be a hard error under the "Correctness" category.)