@@ -4,7 +4,7 @@ type _ = any
44type @Name = "_G"
55type rawlen = function=(v: Table | string)>(number)
66type rawequal = function=(v1: any, v2: any)>(boolean)
7- type collectgarbage = function=(opt: string, arg: number)>(...: any) | function=(opt: string)>(...: any) | function=()>(...: any)
7+ type collectgarbage = function=(opt: string, arg: number)>(...any) | function=(opt: string)>(...any) | function=()>(...any)
88
99analyzer function type_print(...: ...any)
1010 print(...)
@@ -157,7 +157,7 @@ analyzer function require(name: string)
157157
158158 if val then return val end
159159 end
160-
160+
161161 if analyzer:GetLocalOrGlobalValue(str) then
162162 return analyzer:GetLocalOrGlobalValue(str)
163163 end
250250analyzer function assert(...: ...any)
251251 local obj = select(1, ...)
252252 local potential_msg = select(2, ...)
253+
253254 if not analyzer:IsDefinetlyReachable() then
254255 analyzer:ThrowSilentError(obj)
255256
@@ -378,19 +379,18 @@ type xpcall = ReturnIfNonLiteral<|
378379type select = ReturnIfNonLiteral<|
379380 analyzer function(index: 1 .. inf | "#", ...: ...any): ...any
380381 local x = ...
382+
381383 if x and x.Type == "tuple" then
382384 return select(index:GetData(), x:Unpack())
383385 end
384386
385387 return select(index:GetData(), ...)
386388 end
387389|>
388-
389390type select_type = analyzer function(index: 1 .. inf | "#", ...: ...any): ...any
390391 local x = ...
391- if x and x.Type == "tuple" then
392- return x:Slice(index:GetData())
393- end
392+
393+ if x and x.Type == "tuple" then return x:Slice(index:GetData()) end
394394
395395 return select(index:GetData(), ...)
396396end
445445
446446analyzer function setmetatable(tbl: Table, meta: Table | nil)
447447 if tbl.Type == "any" then return tbl end
448+
448449 if not meta or meta.Type == "symbol" and meta:IsFalse() then
449450 tbl:SetMetaTable(false)
450451 return tbl
0 commit comments