Table literals aren't properly checked for field injections and missing fields

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

I'd expect tables created in the return statement to check for missing fields, and those created outside of them to check for injected fields.

Actual Behaviour

There are no warnings emitted for the attached code.

Reproduction steps

Code to reproduce the issue:

---@class Tile
---@field name string

local Tile = {}

---@return Tile
function Tile.new()
	---@type Tile
	local d = {
		name = 'abc',
		f = 10 -- No warning when a field is being injected
	}

	return {
		f = 10 -- No warning even though there's a missing field and a field is being injected
	}
end

Note that it won't produce any warnings, regardless of configuration (as far as I can tell).

Additional Notes

No response

Log File

No response

从复现的 Tile 示例的 Lua 类型检查路径开始，检查 return 语句和带类型的局部变量中的表字面量是如何进行验证的。在 VS Code 扩展中复现该问题，然后验证注入的字段会产生警告，并且返回的表会同时报告缺失的 name 字段和额外的 f 字段。