@tsonic/dotnet 10.0.40 → 10.0.42

package/System.Xml.Xsl.Runtime/internal/index.d.ts

@@ -2,11 +2,9 @@
 // Namespace: System.Xml.Xsl.Runtime
 // Assembly: System.Private.Xml
 
-// Primitive type aliases from @tsonic/core
-import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+// Core type aliases from @tsonic/core
+import type { fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
 
-// Import support types from @tsonic/core
-import type { ptr } from "@tsonic/core/types.js";
 
 // Import types from other namespaces
 import * as System_Collections_Generic_Internal from "../../System.Collections.Generic/internal/index.js";
@@ -485,8 +483,8 @@ export type PrecedingSiblingIterator = PrecedingSiblingIterator$instance;
 export interface StringConcat$instance {
     readonly __tsonic_type_System_Xml_Xsl_Runtime_StringConcat: never;
 
-    get Delimiter(): string | undefined;
-    set Delimiter(value: string | undefined);
+    get Delimiter(): string | null;
+    set Delimiter(value: string | null);
     Clear(): void;
     Concat(value: string): void;
     GetResult(): string;
@@ -622,7 +620,7 @@ export type XPathPrecedingMergeIterator = XPathPrecedingMergeIterator$instance;
 export interface XmlCollation$instance {
     readonly __tsonic_type_System_Xml_Xsl_Runtime_XmlCollation: never;
 
-    Equals(obj: unknown): boolean;
+    Equals(obj: unknown | null): boolean;
     GetHashCode(): int;
 }
 
@@ -652,7 +650,7 @@ export interface XmlNavigatorFilter$instance {
 
     IsFiltered(navigator: XPathNavigator): boolean;
     MoveToContent(navigator: XPathNavigator): boolean;
-    MoveToFollowing(navigator: XPathNavigator, navigatorEnd: XPathNavigator): boolean;
+    MoveToFollowing(navigator: XPathNavigator, navigatorEnd: XPathNavigator | null): boolean;
     MoveToFollowingSibling(navigator: XPathNavigator): boolean;
     MoveToNextContent(navigator: XPathNavigator): boolean;
     MoveToPreviousSibling(navigator: XPathNavigator): boolean;
@@ -669,11 +667,11 @@ export interface XmlQueryContext$instance {
     readonly __tsonic_type_System_Xml_Xsl_Runtime_XmlQueryContext: never;
 
     readonly DefaultDataSource: XPathNavigator;
-    readonly DefaultNameTable: XmlNameTable | undefined;
+    readonly DefaultNameTable: XmlNameTable | null;
     readonly QueryNameTable: XmlNameTable;
-    GetDataSource(uriRelative: string, uriBase: string): XPathNavigator | undefined;
-    GetLateBoundObject(namespaceUri: string): unknown | undefined;
-    GetParameter(localName: string, namespaceUri: string): unknown | undefined;
+    GetDataSource(uriRelative: string, uriBase: string | null): XPathNavigator | null;
+    GetLateBoundObject(namespaceUri: string): unknown | null;
+    GetParameter(localName: string, namespaceUri: string): unknown | null;
     InvokeXsltLateBoundFunction(name: string, namespaceUri: string, args: IList_1<XPathItem>[]): IList_1<XPathItem>;
     LateBoundFunctionExists(name: string, namespaceUri: string): boolean;
     OnXsltMessageEncountered(message: string): void;
@@ -764,7 +762,7 @@ export interface XmlQueryOutput$instance extends XmlWriter, System_Internal.IAsy
     readonly __tsonic_iface_System_IDisposable: never;
 
     readonly WriteState: WriteState;
-    readonly XmlLang: string | string | undefined;
+    readonly XmlLang: string | string | null;
     readonly XmlSpace: XmlSpace;
     Close(): void;
     EndCopy(navigator: XPathNavigator): void;
@@ -775,12 +773,12 @@ export interface XmlQueryOutput$instance extends XmlWriter, System_Internal.IAsy
     StartElementContentUnchecked(): void;
     StartTree(rootType: XPathNodeType): void;
     WriteBase64(buffer: byte[], index: int, count: int): void;
-    WriteCData(text: string): void;
+    WriteCData(text: string | null): void;
     WriteCharEntity(ch: char): void;
     WriteChars(buffer: char[], index: int, count: int): void;
-    WriteComment(text: string): void;
-    WriteCommentString(text: string): void;
-    WriteDocType(name: string, pubid: string, sysid: string, subset: string): void;
+    WriteComment(text: string | null): void;
+    WriteCommentString(text: string | null): void;
+    WriteDocType(name: string, pubid: string | null, sysid: string | null, subset: string | null): void;
     WriteEndAttribute(): void;
     WriteEndAttributeUnchecked(): void;
     WriteEndComment(): void;
@@ -797,26 +795,26 @@ export interface XmlQueryOutput$instance extends XmlWriter, System_Internal.IAsy
     WriteNamespaceDeclaration(prefix: string, ns: string): void;
     WriteNamespaceDeclarationUnchecked(prefix: string, ns: string): void;
     WriteNamespaceString(text: string): void;
-    WriteProcessingInstruction(target: string, text: string): void;
-    WriteProcessingInstructionString(text: string): void;
+    WriteProcessingInstruction(target: string, text: string | null): void;
+    WriteProcessingInstructionString(text: string | null): void;
     WriteRaw(buffer: char[], index: int, count: int): void;
     WriteRaw(data: string): void;
     WriteRawUnchecked(text: string): void;
-    WriteStartAttribute(prefix: string, localName: string, ns: string): void;
-    WriteStartAttribute(localName: string, ns: string): void;
+    WriteStartAttribute(prefix: string | null, localName: string, ns: string | null): void;
+    WriteStartAttribute(localName: string, ns: string | null): void;
     WriteStartAttribute(localName: string): void;
     WriteStartAttributeComputed(tagName: string, prefixMappingsIndex: int): void;
     WriteStartAttributeComputed(tagName: string, ns: string): void;
     WriteStartAttributeComputed(navigator: XPathNavigator): void;
     WriteStartAttributeComputed(name: XmlQualifiedName): void;
     WriteStartAttributeLocalName(localName: string): void;
-    WriteStartAttributeUnchecked(prefix: string, localName: string, ns: string): void;
+    WriteStartAttributeUnchecked(prefix: string | null, localName: string, ns: string | null): void;
     WriteStartAttributeUnchecked(localName: string): void;
     WriteStartComment(): void;
     WriteStartDocument(): void;
     WriteStartDocument(standalone: boolean): void;
-    WriteStartElement(prefix: string, localName: string, ns: string): void;
-    WriteStartElement(localName: string, ns: string): void;
+    WriteStartElement(prefix: string | null, localName: string, ns: string | null): void;
+    WriteStartElement(localName: string, ns: string | null): void;
     WriteStartElement(localName: string): void;
     WriteStartElementComputed(tagName: string, prefixMappingsIndex: int): void;
     WriteStartElementComputed(tagName: string, ns: string): void;
@@ -828,10 +826,10 @@ export interface XmlQueryOutput$instance extends XmlWriter, System_Internal.IAsy
     WriteStartNamespace(prefix: string): void;
     WriteStartProcessingInstruction(target: string): void;
     WriteStartRoot(): void;
-    WriteString(text: string): void;
+    WriteString(text: string | null): void;
     WriteStringUnchecked(text: string): void;
     WriteSurrogateCharEntity(lowChar: char, highChar: char): void;
-    WriteWhitespace(ws: string): void;
+    WriteWhitespace(ws: string | null): void;
     XsltCopyOf(navigator: XPathNavigator): void;
 }
 
@@ -859,10 +857,10 @@ export interface XmlQueryRuntime$instance {
     ChangeTypeXsltArgument(indexType: int, value: unknown, destinationType: Type): unknown;
     ChangeTypeXsltResult(indexType: int, value: unknown): unknown;
     ComparePosition(navigatorThis: XPathNavigator, navigatorThat: XPathNavigator): int;
-    CreateCollation(collation: string): XmlCollation | undefined;
-    DebugGetGlobalNames(): string[] | undefined;
-    DebugGetGlobalValue(name: string): IList | undefined;
-    DebugGetXsltValue(seq: IList): unknown | undefined;
+    CreateCollation(collation: string): XmlCollation | null;
+    DebugGetGlobalNames(): string[] | null;
+    DebugGetGlobalValue(name: string): IList | null;
+    DebugGetXsltValue(seq: IList | null): unknown | null;
     DebugSetGlobalValue(name: string, value: unknown): void;
     DocOrderDistinct(seq: IList_1<XPathNavigator>): IList_1<XPathNavigator>;
     EarlyBoundFunctionExists(name: string, namespaceUri: string): boolean;
@@ -901,7 +899,7 @@ export const XmlQueryRuntime: {
 
 export type XmlQueryRuntime = XmlQueryRuntime$instance;
 
-export interface XmlQuerySequence_1$instance<T> {
+export interface XmlQuerySequence_1$instance<T extends unknown> {
     readonly __tsonic_type_System_Xml_Xsl_Runtime_XmlQuerySequence_1: never;
 
     readonly __tsonic_iface_System_Collections_Generic_ICollection_1: never;
@@ -924,17 +922,17 @@ export interface XmlQuerySequence_1$instance<T> {
 
 
 export const XmlQuerySequence_1: {
-    new<T>(): XmlQuerySequence_1<T>;
-    new<T>(capacity: int): XmlQuerySequence_1<T>;
-    new<T>(array: T[], size: int): XmlQuerySequence_1<T>;
-    new<T>(value: T): XmlQuerySequence_1<T>;
-    readonly Empty: unknown;
-    CreateOrReuse<T>(seq: XmlQuerySequence_1<T>, item: T): XmlQuerySequence_1<T>;
-    CreateOrReuse<T>(seq: XmlQuerySequence_1<T>): XmlQuerySequence_1<T>;
+    new<T extends unknown>(): XmlQuerySequence_1<T>;
+    new<T extends unknown>(capacity: int): XmlQuerySequence_1<T>;
+    new<T extends unknown>(array: T[], size: int): XmlQuerySequence_1<T>;
+    new<T extends unknown>(value: T): XmlQuerySequence_1<T>;
+    readonly Empty: <T extends unknown>() => XmlQuerySequence_1<T>;
+    CreateOrReuse<T extends unknown>(seq: XmlQuerySequence_1<T>, item: T): XmlQuerySequence_1<T>;
+    CreateOrReuse<T extends unknown>(seq: XmlQuerySequence_1<T>): XmlQuerySequence_1<T>;
 };
 
 
-export interface __XmlQuerySequence_1$views<T> {
+export interface __XmlQuerySequence_1$views<T extends unknown> {
     As_ICollection_1(): System_Collections_Generic_Internal.ICollection_1$instance<T>;
     As_IEnumerable_1(): System_Collections_Generic_Internal.IEnumerable_1$instance<T>;
     As_IList_1(): System_Collections_Generic_Internal.IList_1$instance<T>;
@@ -943,7 +941,7 @@ export interface __XmlQuerySequence_1$views<T> {
     As_IList(): System_Collections_Internal.IList$instance;
 }
 
-export type XmlQuerySequence_1<T> = XmlQuerySequence_1$instance<T> & __XmlQuerySequence_1$views<T> & { [index: number]: T; };
+export type XmlQuerySequence_1<T extends unknown> = XmlQuerySequence_1$instance<T> & __XmlQuerySequence_1$views<T> & { [index: number]: T; };
 
 
 export interface XsltLibrary$instance {

package/System.Xml.Xsl.Runtime.d.ts

@@ -5,6 +5,10 @@
 // Import internal declarations
 import * as Internal from './System.Xml.Xsl.Runtime/internal/index.js';
 
+// Core type aliases from @tsonic/core
+import type { fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+
+
 // Cross-namespace type imports for constraints
 import type { ICollection_1, IComparer_1, IEnumerable_1, IEnumerator_1, IList_1 } from './System.Collections.Generic/internal/index.js';
 import type { ICollection, IEnumerable, IEnumerator, IList } from './System.Collections/internal/index.js';

package/System.Xml.Xsl.d.ts

@@ -5,6 +5,10 @@
 // Import internal declarations
 import * as Internal from './System.Xml.Xsl/internal/index.js';
 
+// Core type aliases from @tsonic/core
+import type { fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+
+
 // Cross-namespace type imports for constraints
 import type { IDictionary_2 } from './System.Collections.Generic/internal/index.js';
 import type { IDictionary, IEnumerable, IEnumerator } from './System.Collections/internal/index.js';

package/System.Xml.d.ts

@@ -5,6 +5,10 @@
 // Import internal declarations
 import * as Internal from './System.Xml/internal/index.js';
 
+// Core type aliases from @tsonic/core
+import type { fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+
+
 // Cross-namespace type imports for constraints
 import type { IDictionary_2 } from './System.Collections.Generic/internal/index.js';
 import type { ICollection, IDictionary, IEnumerable, IEnumerator } from './System.Collections/internal/index.js';

package/System.d.ts

@@ -5,6 +5,10 @@
 // Import internal declarations
 import * as Internal from './System/internal/index.js';
 
+// Core type aliases from @tsonic/core
+import type { fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+
+
 // Cross-namespace type imports for constraints
 import type { MemoryHandle, OperationStatus, SearchValues_1, SpanAction_2 } from './System.Buffers/internal/index.js';
 import type { IAlternateEqualityComparer_2, ICollection_1, IComparer_1, IEnumerable_1, IEnumerator_1, IEqualityComparer_1, IList_1, IReadOnlyCollection_1, IReadOnlyDictionary_2, IReadOnlyList_1 } from './System.Collections.Generic/internal/index.js';
@@ -71,9 +75,9 @@ export { TypedReference as TypedReference } from './System/internal/index.js';
 export { TypeLoadException as TypeLoadException } from './System/internal/index.js';
 export { ValueType as ValueType } from './System/internal/index.js';
 export { AccessViolationException as AccessViolationException } from './System/internal/index.js';
-export type Comparison<T> = Internal.Comparison_1<T>;
-export type Converter<TInput, TOutput> = Internal.Converter_2<TInput, TOutput>;
-export type Predicate<T> = Internal.Predicate_1<T>;
+export type Comparison<T extends unknown> = Internal.Comparison_1<T>;
+export type Converter<TInput extends unknown, TOutput extends unknown> = Internal.Converter_2<TInput, TOutput>;
+export type Predicate<T extends unknown> = Internal.Predicate_1<T>;
 export { Activator$instance as Activator } from './System/internal/index.js';
 export { AggregateException as AggregateException } from './System/internal/index.js';
 export { AppContext$instance as AppContext } from './System/internal/index.js';
@@ -136,7 +140,7 @@ export type ICloneable = Internal.ICloneable;
 export type IConvertible = Internal.IConvertible;
 export type ICustomFormatter = Internal.ICustomFormatter;
 export type IDisposable = Internal.IDisposable;
-export type IEquatable<T> = Internal.IEquatable_1<T>;
+export type IEquatable<T extends unknown> = Internal.IEquatable_1<T>;
 export type IFormatProvider = Internal.IFormatProvider;
 export type IFormattable = Internal.IFormattable;
 export { Index as Index } from './System/internal/index.js';
@@ -152,12 +156,12 @@ export { InvalidCastException as InvalidCastException } from './System/internal/
 export { InvalidOperationException as InvalidOperationException } from './System/internal/index.js';
 export { InvalidProgramException as InvalidProgramException } from './System/internal/index.js';
 export { InvalidTimeZoneException as InvalidTimeZoneException } from './System/internal/index.js';
-export type IObservable<T> = Internal.IObservable_1<T>;
-export type IObserver<T> = Internal.IObserver_1<T>;
-export type IProgress<T> = Internal.IProgress_1<T>;
+export type IObservable<T extends unknown> = Internal.IObservable_1<T>;
+export type IObserver<T extends unknown> = Internal.IObserver_1<T>;
+export type IProgress<T extends unknown> = Internal.IProgress_1<T>;
 export type ISpanFormattable = Internal.ISpanFormattable;
 export type IUtf8SpanFormattable = Internal.IUtf8SpanFormattable;
-export type IUtf8SpanParsable<TSelf extends Internal.IUtf8SpanParsable_1<TSelf>> = Internal.IUtf8SpanParsable_1<TSelf>;
+export type IUtf8SpanParsable<TSelf extends unknown & Internal.IUtf8SpanParsable_1<TSelf>> = Internal.IUtf8SpanParsable_1<TSelf>;
 export { LoaderOptimization as LoaderOptimization } from './System/internal/index.js';
 export { LoaderOptimizationAttribute as LoaderOptimizationAttribute } from './System/internal/index.js';
 export { LocalDataStoreSlot as LocalDataStoreSlot } from './System/internal/index.js';
@@ -235,8 +239,8 @@ export { UnitySerializationHolder as UnitySerializationHolder } from './System/i
 export { Version as Version } from './System/internal/index.js';
 export { Void as Void } from './System/internal/index.js';
 export { TimeProvider as TimeProvider } from './System/internal/index.js';
-export type IParsable<TSelf extends Internal.IParsable_1<TSelf>> = Internal.IParsable_1<TSelf>;
-export type ISpanParsable<TSelf extends Internal.ISpanParsable_1<TSelf>> = Internal.ISpanParsable_1<TSelf>;
+export type IParsable<TSelf extends unknown & Internal.IParsable_1<TSelf>> = Internal.IParsable_1<TSelf>;
+export type ISpanParsable<TSelf extends unknown & Internal.ISpanParsable_1<TSelf>> = Internal.ISpanParsable_1<TSelf>;
 export { GenericUriParserOptions as GenericUriParserOptions } from './System/internal/index.js';
 export { GenericUriParser as GenericUriParser } from './System/internal/index.js';
 export { Uri as Uri } from './System/internal/index.js';
@@ -269,150 +273,150 @@ declare const __unspecified: unique symbol;
 export type __ = typeof __unspecified;
 
 export type Action<
-  T1 = __,
-  T2 = __,
-  T3 = __,
-  T4 = __,
-  T5 = __,
-  T6 = __,
-  T7 = __,
-  T8 = __,
-  T9 = __,
-  T10 = __,
-  T11 = __,
-  T12 = __,
-  T13 = __,
-  T14 = __,
-  T15 = __,
-  T16 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
+  T3 extends unknown | __ = __,
+  T4 extends unknown | __ = __,
+  T5 extends unknown | __ = __,
+  T6 extends unknown | __ = __,
+  T7 extends unknown | __ = __,
+  T8 extends unknown | __ = __,
+  T9 extends unknown | __ = __,
+  T10 extends unknown | __ = __,
+  T11 extends unknown | __ = __,
+  T12 extends unknown | __ = __,
+  T13 extends unknown | __ = __,
+  T14 extends unknown | __ = __,
+  T15 extends unknown | __ = __,
+  T16 extends unknown | __ = __,
 > =
   [T1] extends [__] ? ((() => void) | Internal.Action) :
-  [T2] extends [__] ? (((arg1: T1) => void) | Internal.Action_1<T1>) :
-  [T3] extends [__] ? (((arg1: T1, arg2: T2) => void) | Internal.Action_2<T1, T2>) :
-  [T4] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3) => void) | Internal.Action_3<T1, T2, T3>) :
-  [T5] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4) => void) | Internal.Action_4<T1, T2, T3, T4>) :
-  [T6] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5) => void) | Internal.Action_5<T1, T2, T3, T4, T5>) :
-  [T7] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6) => void) | Internal.Action_6<T1, T2, T3, T4, T5, T6>) :
-  [T8] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7) => void) | Internal.Action_7<T1, T2, T3, T4, T5, T6, T7>) :
-  [T9] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8) => void) | Internal.Action_8<T1, T2, T3, T4, T5, T6, T7, T8>) :
-  [T10] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9) => void) | Internal.Action_9<T1, T2, T3, T4, T5, T6, T7, T8, T9>) :
-  [T11] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10) => void) | Internal.Action_10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>) :
-  [T12] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11) => void) | Internal.Action_11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>) :
-  [T13] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) => void) | Internal.Action_12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>) :
-  [T14] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13) => void) | Internal.Action_13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>) :
-  [T15] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14) => void) | Internal.Action_14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>) :
-  [T16] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15) => void) | Internal.Action_15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>) :
-  (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15, arg16: T16) => void) | Internal.Action_16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>);
+  [T2] extends [__] ? [T1] extends [unknown] ? (((arg1: T1) => void) | Internal.Action_1<T1>) : never :
+  [T3] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? (((arg1: T1, arg2: T2) => void) | Internal.Action_2<T1, T2>) : never : never :
+  [T4] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3) => void) | Internal.Action_3<T1, T2, T3>) : never : never : never :
+  [T5] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4) => void) | Internal.Action_4<T1, T2, T3, T4>) : never : never : never : never :
+  [T6] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5) => void) | Internal.Action_5<T1, T2, T3, T4, T5>) : never : never : never : never : never :
+  [T7] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6) => void) | Internal.Action_6<T1, T2, T3, T4, T5, T6>) : never : never : never : never : never : never :
+  [T8] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7) => void) | Internal.Action_7<T1, T2, T3, T4, T5, T6, T7>) : never : never : never : never : never : never : never :
+  [T9] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8) => void) | Internal.Action_8<T1, T2, T3, T4, T5, T6, T7, T8>) : never : never : never : never : never : never : never : never :
+  [T10] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9) => void) | Internal.Action_9<T1, T2, T3, T4, T5, T6, T7, T8, T9>) : never : never : never : never : never : never : never : never : never :
+  [T11] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10) => void) | Internal.Action_10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>) : never : never : never : never : never : never : never : never : never : never :
+  [T12] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11) => void) | Internal.Action_11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>) : never : never : never : never : never : never : never : never : never : never : never :
+  [T13] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) => void) | Internal.Action_12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>) : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T14] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13) => void) | Internal.Action_13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>) : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T15] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14) => void) | Internal.Action_14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T16] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? [T15] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15) => void) | Internal.Action_15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? [T15] extends [unknown] ? [T16] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15, arg16: T16) => void) | Internal.Action_16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never;
 
 export type EventHandler<
-  T1 = __,
-  T2 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
 > =
   [T1] extends [__] ? ((() => void) | Internal.EventHandler) :
-  [T2] extends [__] ? (((arg1: T1) => void) | Internal.EventHandler_1<T1>) :
-  (((arg1: T1, arg2: T2) => void) | Internal.EventHandler_2<T1, T2>);
+  [T2] extends [__] ? [T1] extends [unknown] ? (((arg1: T1) => void) | Internal.EventHandler_1<T1>) : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? (((arg1: T1, arg2: T2) => void) | Internal.EventHandler_2<T1, T2>) : never : never;
 
 export type Func<
-  T1 = __,
-  T2 = __,
-  T3 = __,
-  T4 = __,
-  T5 = __,
-  T6 = __,
-  T7 = __,
-  T8 = __,
-  T9 = __,
-  T10 = __,
-  T11 = __,
-  T12 = __,
-  T13 = __,
-  T14 = __,
-  T15 = __,
-  T16 = __,
-  T17 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
+  T3 extends unknown | __ = __,
+  T4 extends unknown | __ = __,
+  T5 extends unknown | __ = __,
+  T6 extends unknown | __ = __,
+  T7 extends unknown | __ = __,
+  T8 extends unknown | __ = __,
+  T9 extends unknown | __ = __,
+  T10 extends unknown | __ = __,
+  T11 extends unknown | __ = __,
+  T12 extends unknown | __ = __,
+  T13 extends unknown | __ = __,
+  T14 extends unknown | __ = __,
+  T15 extends unknown | __ = __,
+  T16 extends unknown | __ = __,
+  T17 extends unknown | __ = __,
 > =
-  [T2] extends [__] ? ((() => T1) | Internal.Func_1<T1>) :
-  [T3] extends [__] ? (((arg1: T1) => T2) | Internal.Func_2<T1, T2>) :
-  [T4] extends [__] ? (((arg1: T1, arg2: T2) => T3) | Internal.Func_3<T1, T2, T3>) :
-  [T5] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3) => T4) | Internal.Func_4<T1, T2, T3, T4>) :
-  [T6] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4) => T5) | Internal.Func_5<T1, T2, T3, T4, T5>) :
-  [T7] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5) => T6) | Internal.Func_6<T1, T2, T3, T4, T5, T6>) :
-  [T8] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6) => T7) | Internal.Func_7<T1, T2, T3, T4, T5, T6, T7>) :
-  [T9] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7) => T8) | Internal.Func_8<T1, T2, T3, T4, T5, T6, T7, T8>) :
-  [T10] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8) => T9) | Internal.Func_9<T1, T2, T3, T4, T5, T6, T7, T8, T9>) :
-  [T11] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9) => T10) | Internal.Func_10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>) :
-  [T12] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10) => T11) | Internal.Func_11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>) :
-  [T13] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11) => T12) | Internal.Func_12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>) :
-  [T14] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) => T13) | Internal.Func_13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>) :
-  [T15] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13) => T14) | Internal.Func_14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>) :
-  [T16] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14) => T15) | Internal.Func_15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>) :
-  [T17] extends [__] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15) => T16) | Internal.Func_16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>) :
-  (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15, arg16: T16) => T17) | Internal.Func_17<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>);
+  [T2] extends [__] ? [T1] extends [unknown] ? ((() => T1) | Internal.Func_1<T1>) : never :
+  [T3] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? (((arg1: T1) => T2) | Internal.Func_2<T1, T2>) : never : never :
+  [T4] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? (((arg1: T1, arg2: T2) => T3) | Internal.Func_3<T1, T2, T3>) : never : never : never :
+  [T5] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3) => T4) | Internal.Func_4<T1, T2, T3, T4>) : never : never : never : never :
+  [T6] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4) => T5) | Internal.Func_5<T1, T2, T3, T4, T5>) : never : never : never : never : never :
+  [T7] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5) => T6) | Internal.Func_6<T1, T2, T3, T4, T5, T6>) : never : never : never : never : never : never :
+  [T8] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6) => T7) | Internal.Func_7<T1, T2, T3, T4, T5, T6, T7>) : never : never : never : never : never : never : never :
+  [T9] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7) => T8) | Internal.Func_8<T1, T2, T3, T4, T5, T6, T7, T8>) : never : never : never : never : never : never : never : never :
+  [T10] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8) => T9) | Internal.Func_9<T1, T2, T3, T4, T5, T6, T7, T8, T9>) : never : never : never : never : never : never : never : never : never :
+  [T11] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9) => T10) | Internal.Func_10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>) : never : never : never : never : never : never : never : never : never : never :
+  [T12] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10) => T11) | Internal.Func_11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>) : never : never : never : never : never : never : never : never : never : never : never :
+  [T13] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11) => T12) | Internal.Func_12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>) : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T14] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) => T13) | Internal.Func_13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>) : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T15] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13) => T14) | Internal.Func_14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T16] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? [T15] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14) => T15) | Internal.Func_15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T17] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? [T15] extends [unknown] ? [T16] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15) => T16) | Internal.Func_16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? [T9] extends [unknown] ? [T10] extends [unknown] ? [T11] extends [unknown] ? [T12] extends [unknown] ? [T13] extends [unknown] ? [T14] extends [unknown] ? [T15] extends [unknown] ? [T16] extends [unknown] ? [T17] extends [unknown] ? (((arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12, arg13: T13, arg14: T14, arg15: T15, arg16: T16) => T17) | Internal.Func_17<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>) : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never;
 
 export type IComparable<
-  T1 = __,
+  T1 extends unknown | __ = __,
 > =
   [T1] extends [__] ? Internal.IComparable :
-  Internal.IComparable_1<T1>;
+  [T1] extends [unknown] ? Internal.IComparable_1<T1> : never;
 
 export type Lazy<
-  T1 = __,
-  T2 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
 > =
-  [T2] extends [__] ? Internal.Lazy_1<T1> :
-  Internal.Lazy_2<T1, T2>;
+  [T2] extends [__] ? [T1] extends [unknown] ? Internal.Lazy_1<T1> : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? Internal.Lazy_2<T1, T2> : never : never;
 
 export type Nullable<
-  T1 = __,
+  T1 extends NonNullable<unknown> | __ = __,
 > =
   [T1] extends [__] ? Internal.Nullable :
-  [T1] extends [unknown] ? Internal.Nullable_1<T1> : never;
+  [T1] extends [NonNullable<unknown>] ? Internal.Nullable_1<T1> : never;
 
 export type Tuple<
-  T1 = __,
-  T2 = __,
-  T3 = __,
-  T4 = __,
-  T5 = __,
-  T6 = __,
-  T7 = __,
-  T8 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
+  T3 extends unknown | __ = __,
+  T4 extends unknown | __ = __,
+  T5 extends unknown | __ = __,
+  T6 extends unknown | __ = __,
+  T7 extends unknown | __ = __,
+  T8 extends unknown | __ = __,
 > =
   [T1] extends [__] ? Internal.Tuple :
-  [T2] extends [__] ? Internal.Tuple_1<T1> :
-  [T3] extends [__] ? Internal.Tuple_2<T1, T2> :
-  [T4] extends [__] ? Internal.Tuple_3<T1, T2, T3> :
-  [T5] extends [__] ? Internal.Tuple_4<T1, T2, T3, T4> :
-  [T6] extends [__] ? Internal.Tuple_5<T1, T2, T3, T4, T5> :
-  [T7] extends [__] ? Internal.Tuple_6<T1, T2, T3, T4, T5, T6> :
-  [T8] extends [__] ? Internal.Tuple_7<T1, T2, T3, T4, T5, T6, T7> :
-  Internal.Tuple_8<T1, T2, T3, T4, T5, T6, T7, T8>;
+  [T2] extends [__] ? [T1] extends [unknown] ? Internal.Tuple_1<T1> : never :
+  [T3] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? Internal.Tuple_2<T1, T2> : never : never :
+  [T4] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? Internal.Tuple_3<T1, T2, T3> : never : never : never :
+  [T5] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? Internal.Tuple_4<T1, T2, T3, T4> : never : never : never : never :
+  [T6] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? Internal.Tuple_5<T1, T2, T3, T4, T5> : never : never : never : never : never :
+  [T7] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? Internal.Tuple_6<T1, T2, T3, T4, T5, T6> : never : never : never : never : never : never :
+  [T8] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? Internal.Tuple_7<T1, T2, T3, T4, T5, T6, T7> : never : never : never : never : never : never : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [unknown] ? Internal.Tuple_8<T1, T2, T3, T4, T5, T6, T7, T8> : never : never : never : never : never : never : never : never;
 
 export type ValueTuple<
-  T1 = __,
-  T2 = __,
-  T3 = __,
-  T4 = __,
-  T5 = __,
-  T6 = __,
-  T7 = __,
-  T8 = __,
+  T1 extends unknown | __ = __,
+  T2 extends unknown | __ = __,
+  T3 extends unknown | __ = __,
+  T4 extends unknown | __ = __,
+  T5 extends unknown | __ = __,
+  T6 extends unknown | __ = __,
+  T7 extends unknown | __ = __,
+  T8 extends NonNullable<unknown> | __ = __,
 > =
   [T1] extends [__] ? Internal.ValueTuple :
-  [T2] extends [__] ? Internal.ValueTuple_1<T1> :
-  [T3] extends [__] ? Internal.ValueTuple_2<T1, T2> :
-  [T4] extends [__] ? Internal.ValueTuple_3<T1, T2, T3> :
-  [T5] extends [__] ? Internal.ValueTuple_4<T1, T2, T3, T4> :
-  [T6] extends [__] ? Internal.ValueTuple_5<T1, T2, T3, T4, T5> :
-  [T7] extends [__] ? Internal.ValueTuple_6<T1, T2, T3, T4, T5, T6> :
-  [T8] extends [__] ? Internal.ValueTuple_7<T1, T2, T3, T4, T5, T6, T7> :
-  [T8] extends [unknown] ? Internal.ValueTuple_8<T1, T2, T3, T4, T5, T6, T7, T8> : never;
+  [T2] extends [__] ? [T1] extends [unknown] ? Internal.ValueTuple_1<T1> : never :
+  [T3] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? Internal.ValueTuple_2<T1, T2> : never : never :
+  [T4] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? Internal.ValueTuple_3<T1, T2, T3> : never : never : never :
+  [T5] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? Internal.ValueTuple_4<T1, T2, T3, T4> : never : never : never : never :
+  [T6] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? Internal.ValueTuple_5<T1, T2, T3, T4, T5> : never : never : never : never : never :
+  [T7] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? Internal.ValueTuple_6<T1, T2, T3, T4, T5, T6> : never : never : never : never : never : never :
+  [T8] extends [__] ? [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? Internal.ValueTuple_7<T1, T2, T3, T4, T5, T6, T7> : never : never : never : never : never : never : never :
+  [T1] extends [unknown] ? [T2] extends [unknown] ? [T3] extends [unknown] ? [T4] extends [unknown] ? [T5] extends [unknown] ? [T6] extends [unknown] ? [T7] extends [unknown] ? [T8] extends [NonNullable<unknown>] ? Internal.ValueTuple_8<T1, T2, T3, T4, T5, T6, T7, T8> : never : never : never : never : never : never : never : never;
 
 export type WeakReference<
-  T1 = __,
+  T1 extends (object | null) | __ = __,
 > =
   [T1] extends [__] ? Internal.WeakReference :
-  Internal.WeakReference_1<T1>;
+  [T1] extends [(object | null)] ? Internal.WeakReference_1<T1> : never;
 
 
 // Primitive $instance interfaces for global type augmentation (@tsonic/globals)