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

Non viene indicato alcun file sorgente né alcun test. Inizia dallo snippet Lua e analizza come le annotazioni @type vengono applicate alle variabili dei cicli for generici, confrontando questo percorso con il supporto ai cicli for primitivi a cui si fa riferimento in #1367. Il lavoro è completato quando s viene inferito come integer, r come string e la diagnostica viene eliminata.