El ámbito de la variable es el lote completo, en este caso, un procedimiento almacenado.
No se vuelve a declarar cada bucle
Así que esto es exactamente como se esperaba
Editar:
Hay un artículo de blog reciente. que es bastante parecido. El autor fue rápidamente corregido :-)