feat(global): improve assert type

Author: ark120202

core/global.d.ts

@@ -25,7 +25,9 @@ declare const _G: Record<string, any>;
  * Calls error if the value of its argument v is false (i.e., nil or false); otherwise, returns all its arguments. In case of error, message is the error object; when absent, it defaults to "assertion failed!"
  * @tupleReturn
  */
-declare function assert<T>(v: T, message?: string): Exclude<T, false | null | undefined>;
+declare function assert<T extends any[]>(
+  ...args: T
+): { [P in keyof T]: P extends '0' ? Exclude<T[P], false | null | undefined> : T[P] };
 
 /**
  * This function is a generic interface to the garbage collector. It performs different functions according to its first argument, opt.
@@ -92,7 +94,6 @@ declare function getmetatable<T extends object>(object: T): LuaMetatable<T> | un
  * `for i,v in ipairs(t) do body end`
  *
  * will iterate over the key–value pairs (1,t[1]), (2,t[2]), ..., up to the first nil value.
- * @tupleReturn
  */
 declare function ipairs<T>(t: Record<number, T>): LuaTupleIterable<[number, T]>;
 
@@ -115,7 +116,6 @@ declare function next(table: object, index?: any): [any, any] | [];
  * will iterate over all key–value pairs of table t.
  *
  * See function next for the caveats of modifying the table during its traversal.
- * @tupleReturn
  */
 declare function pairs<T>(t: T): LuaTupleIterable<[keyof T, T[keyof T]]>;