Cannot type for-loop variable

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

The variables s and r are typed according to the @type annotation.

Actual Behaviour

In the following code snippet I cannot type the for loop variables s and r using the @type annotation:

    ---@type integer, string
    for s, r in str:gmatch("[,]?%s*()([^,]+)%s*[,]?") do
        ...
    end

Instead I get a Can not infer type. error for r and s is shown as of type string

Reproduction steps

Additional Notes

I think #1367 enabled this, but only for primitive for loops.

Log File

No response

No se indica ningún archivo fuente ni ninguna prueba. Empieza con el fragmento de Lua e inspecciona cómo se aplican las anotaciones @type a las variables de los bucles for genéricos, comparando ese recorrido con el soporte para bucles for primitivos mencionado en #1367. El trabajo está terminado cuando s se infiere como integer, r como string y se elimina el diagnóstico.