Strange type of a new vec shown on a mouse hover

[beetrootpaul]

I have local topbar_size = vec(128, 16) in my code. When I hover over topbar_size), the hover content says:

local topbar_size: {
    y: unknown,
}

It seems strange. I would rather expect a table of all x, y, z, u, v, w, t.

Just in case, I am attaching my <folder-name>.code-workspace file here:

{
	"extensions": {
		"recommendations": [
			"sumneko.lua"
		]
	},
	"folders": [
		{
			"path": "."
		}
	],
	"settings": {
		"files.associations": {
			"*.lua": "lua"
		},
		"files.exclude": {
			"**/.DS_Store": false,
			"**/.git": false,
			"tmp/": false
		},
		"files.insertFinalNewline": true,
		"files.trimFinalNewlines": true,
		"files.trimTrailingWhitespace": true,
		"Lua.codeLens.enable": true,
		"Lua.completion.callSnippet": "Both",
		"Lua.completion.displayContext": 4,
		"Lua.completion.showWord": "Enable",
		"Lua.diagnostics.disable": [
			"lowercase-global",
			"undefined-doc-name",
			"err-esc"
		],
		"Lua.doc.privateName": [
			"_*"
		],
		"Lua.format.enable": true,
		"Lua.hint.arrayIndex": "Enable",
		"Lua.hint.semicolon": "Disable",
		"Lua.hint.setType": true,
		"Lua.runtime.builtin": {
			"basic": "enable",
			"bit": "disable",
			"bit32": "disable",
			"builtin": "enable",
			"coroutine": "enable",
			"debug": "enable",
			"ffi": "disable",
			"io": "disable",
			"jit": "disable",
			"math": "enable",
			"os": "disable",
			"package": "disable",
			"string": "enable",
			"table": "enable",
			"table.clear": "disable",
			"table.new": "disable",
			"utf8": "enable"
		},
		"Lua.runtime.nonstandardSymbol": [
			"!=",
			"+=",
			"-=",
			"*=",
			"/=",
			"%=",
			"^=",
			"|=",
			"&=",
			"<<=",
			">>=",
			"//",
		],
		"Lua.runtime.pathStrict": true,
		"Lua.runtime.special": {
			"include": "require"
		},
		"Lua.runtime.version": "LuaJIT",
		"Lua.semantic.keyword": false,
		"Lua.type.checkTableShape": true,
		"Lua.type.inferParamType": true,
		"Lua.type.inferTableSize": 20,
		"Lua.typeFormat.config": {
			"auto_complete_end": "true",
			"auto_complete_table_sep": "true",
			"format_line": "true"
		},
		"Lua.workspace.checkThirdParty": false,
		"Lua.workspace.library": [
			"./external-repositories/pico-api/picotron/"
		]
	}
}

[ahai64]

The userdata part has not been completed yet, and its content is basically just a placeholder. Issue #3 #5 is all because of this. I will finish this part as soon as possible.