2 Mar
2023
2 Mar
'23
12:19 a.m.
Ah, the purpose of this check is not optimizing, but avoiding to print two error messages for each pair of overlapping variables (a, b), and (b, a).
Ah, that makes sense. So it could probably just use a short comment.