fix incorrect param-type-mismatch diagnostic for optional fields

changelog.md

@@ -4,7 +4,8 @@
 <!-- Add all new changes here. They will be moved under a version at release -->
 * `CHG` Update Love2d version
 * `CHG` Improve type infer of `table.unpack` and `unpack`
-* `FIX` missing-fields diagnostic now warns about missing inherited fields
+* `FIX` `missing-fields` diagnostic now warns about missing inherited fields
+* `FIX` Incorrect `param-type-mismatch` diagnostic for optional fields
 
 ## 3.13.2
 `2024-11-21`

script/vm/type.lua

@@ -244,6 +244,9 @@ local function checkValue(parent, child, mark, errs)
                 local knode = vm.compileNode(pfield.name)
                 local cvalues = vm.getTableValue(uri, tnode, knode, true)
                 if not cvalues then
+                    if pfield.optional then
+                        goto continue
+                    end
                     if errs then
                         errs[#errs+1] = 'TYPE_ERROR_TABLE_NO_FIELD'
                         errs[#errs+1] = pfield.name
@@ -260,6 +263,7 @@ local function checkValue(parent, child, mark, errs)
                     end
                     return false
                 end
+                ::continue::
             end
         end
         return true

test/diagnostics/param-type-mismatch.lua

@@ -384,4 +384,14 @@ local k = t[i].int
 f(k)
 ]]
 
+TEST [[
+---@type [1, 2, 3]
+local x
+
+---@param y { [1]?: 1, [2]?: 2, [3]?: 3, [4]?: 4}
+local function f(y) end
+
+f(x)
+]]
+
 config.set(nil, 'Lua.type.checkTableShape', false)