pairs ignores table<KEY_TYPE, VALUE_TYPE> and a and b are tagged any

[sumneko]

for a, b in pairs(t) also ignores table<KEY_TYPE, VALUE_TYPE> and a and b are tagged any instead of KEY_TYPE and VALUE_TYPE. (Just too lazy to open another issue.)

Originally posted by @ImpleLee in #483 (comment)

[sumneko]

I cannot reproduce that, please show me a sample

[ImpleLee]

Seems like it only happens when the type is aliased to a table type.
(Tested on version 1.20.3.)

Correct behavior when

---@type table<number, string>
a = {}
for x, y in pairs(a) do
end

x and y are correctly tagged with number and string respectively.

Wrong behavior when

---@alias t table<number, string>
---@type t
a = {}
for x, y in pairs(a) do
end

x and y are both tagged with any, while a is tagged with table<number, string> correctly.

[ImpleLee]

ping?

[sumneko]

I can reproduce now, thank you

[disco0]

As a temporary solution you can explicit annotations for each variable (side note, block comment annotation would be great for this):