just found this when implementing, why this is valid?

for (using a = a1, b = b2; condition; update) {
}