By mistake I got code with canonical loops using the same index (i of course), but the compiler didn't throw an error. I think it should.