As per the source 3 docs, the init part of a for loop should be either an expression or a let expression, however the following code snippet runs on source 3 and 4
let b = 2;
for (const a = 4; b < 10; b = b + 1) {
display(b);
}
A rule should be added that checks for const declaration.