JS: Never type for die()

This commit is contained in:
Willy-JL
2024-11-02 05:31:01 +00:00
parent 67d9f5b44a
commit d97dffe852

View File

@@ -207,7 +207,7 @@ declare function require(module: string): any;
* @param message The error message to show to user * @param message The error message to show to user
* @version Added in JS SDK 0.1 * @version Added in JS SDK 0.1
*/ */
declare function die(message: string): void; declare function die(message: string): never;
/** /**
* @brief mJS Foreign Pointer type * @brief mJS Foreign Pointer type