fix: address code review feedback and add changelog entry

- Remove unnecessary doc.field handling (vm.compileNode already handles it)
- Keep doc.type.function support in parent class field lookup
- Add changelog entry for the new feature

Author: ChouUn

changelog.md

@@ -2,6 +2,7 @@
 
 ## Unreleased
 <!-- Add all new changes here. They will be moved under a version at release -->
+* `NEW` Support type inference for `@field` and `@type` function declarations in method overrides [#3367](https://github.com/LuaLS/lua-language-server/issues/3367)
 * `CHG` Modified the `ResolveRequire` function to pass the source URI as a third argument.
 
 ## 3.17.1

script/vm/compiler.lua

@@ -1353,16 +1353,10 @@ local function compileFunctionParam(func, source)
         ]]
         local found = false
         for n in funcNode:eachObject() do
-          -- Extract actual function type node
-            local funcType = n
-            if n.type == 'doc.field' and n.extends then
-                funcType = n.extends
-        end
-
-            if (funcType.type == 'doc.type.function' or funcType.type == 'function')
-            and funcType.args and funcType.args[aindex] and funcType.args[aindex] ~= source
+            if (n.type == 'doc.type.function' or n.type == 'function')
+            and n.args and n.args[aindex] and n.args[aindex] ~= source
             then
-                local argNode = vm.compileNode(funcType.args[aindex])
+                local argNode = vm.compileNode(n.args[aindex])
                 for an in argNode:eachObject() do
                     if an.type ~= 'doc.generic.name' then
                         vm.setNode(source, an)
@@ -1466,16 +1460,10 @@ local function compileFunctionParam(func, source)
                         end
                         vm.getClassFields(suri, extClass, key, function (field, _isMark)
                             for n in vm.compileNode(field):eachObject() do
-                                -- Extract actual function type node
-                                local funcType = n
-                                if n.type == 'doc.field' and n.extends then
-                                    funcType = n.extends
-                                end
-
-                                if (funcType.type == 'function' or funcType.type == 'doc.type.function')
-                                and funcType.args and funcType.args[aindex]
+                                if (n.type == 'function' or n.type == 'doc.type.function')
+                                and n.args and n.args[aindex]
                                 then
-                                    local argNode = vm.compileNode(funcType.args[aindex])
+                                    local argNode = vm.compileNode(n.args[aindex])
                                     for an in argNode:eachObject() do
                                         if an.type ~= 'doc.generic.name' then
                                             vm.setNode(source, an)