Fix generic class method resolution for @param self list<T> pattern

Author: RomanSpector

script/vm/compiler.lua

@@ -1693,6 +1693,18 @@ local function bindReturnOfFunction(source, mfunc, index, args)
                 hasUnresolvedGeneric = true
                 break
             end
+            -- Also check inside doc.type.sign for unresolved generics
+            -- (e.g. list<T> where T is not yet resolved)
+            if rnode.type == 'doc.type.sign' and rnode.signs then
+                guide.eachSourceType(rnode, 'doc.generic.name', function (src)
+                    if not src._resolved then
+                        hasUnresolvedGeneric = true
+                    end
+                end)
+                if hasUnresolvedGeneric then
+                    break
+                end
+            end
         end
         if hasUnresolvedGeneric then
             local sign = vm.getSign(mfunc)

script/vm/generic.lua

@@ -133,12 +133,12 @@ local function cloneObject(source, resolved)
         for _, sign in ipairs(source.signs) do
             if sign.type == 'doc.type' then
                 for _, tp in ipairs(sign.types) do
-                    if tp.type == 'doc.type.name' and resolved[tp[1]] then
+                    if (tp.type == 'doc.type.name' or tp.type == 'doc.generic.name') and resolved[tp[1]] then
                         needsClone = true
                         break
                     end
                 end
-            elseif sign.type == 'doc.type.name' and resolved[sign[1]] then
+            elseif (sign.type == 'doc.type.name' or sign.type == 'doc.generic.name') and resolved[sign[1]] then
                 needsClone = true
             end
             if needsClone then break end

script/vm/sign.lua

@@ -176,6 +176,21 @@ function mt:resolve(uri, args)
             end
             return
         end
+        if object.type == 'doc.type.sign' and object.signs then
+            -- list<T> -> list<string>: match sign parameters positionally
+            for n in node:eachObject() do
+                if  n.type == 'doc.type.sign' and n.signs
+                and n.node and object.node
+                and n.node[1] == object.node[1] then
+                    for i, signParam in ipairs(object.signs) do
+                        if n.signs[i] then
+                            resolve(vm.compileNode(signParam), vm.compileNode(n.signs[i]))
+                        end
+                    end
+                end
+            end
+            return
+        end
     end
 
     ---@param sign vm.node
@@ -191,7 +206,8 @@ function mt:resolve(uri, args)
             end
             if obj.type == 'doc.type.table'
             or obj.type == 'doc.type.function'
-            or obj.type == 'doc.type.array' then
+            or obj.type == 'doc.type.array'
+            or obj.type == 'doc.type.sign' then
                 ---@cast obj parser.object
                 local hasGeneric
                 guide.eachSourceType(obj, 'doc.generic.name', function (src)
@@ -203,7 +219,8 @@ function mt:resolve(uri, args)
                 end
             end
             if obj.type == 'variable'
-            or obj.type == 'local' then
+            or obj.type == 'local'
+            or obj.type == 'self' then
                 goto CONTINUE
             end
             local view = vm.getInfer(obj):view(uri)