@typia/interface 12.0.0-dev.20260307-2 → 12.0.0-dev.20260310

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (85) hide show
  1. package/lib/http/IHttpLlmController.d.ts +5 -5
  2. package/lib/schema/IJsonParseResult.d.ts +1 -3
  3. package/lib/schema/ILlmApplication.d.ts +1 -1
  4. package/lib/schema/ILlmController.d.ts +2 -5
  5. package/lib/schema/ILlmFunction.d.ts +35 -9
  6. package/package.json +1 -1
  7. package/src/http/IHttpConnection.ts +200 -200
  8. package/src/http/IHttpLlmApplication.ts +72 -72
  9. package/src/http/IHttpLlmController.ts +96 -96
  10. package/src/http/IHttpLlmFunction.ts +34 -34
  11. package/src/http/IHttpMigrateApplication.ts +48 -48
  12. package/src/http/IHttpMigrateRoute.ts +165 -165
  13. package/src/http/IHttpResponse.ts +42 -42
  14. package/src/http/index.ts +7 -7
  15. package/src/index.ts +9 -9
  16. package/src/metadata/IJsDocTagInfo.ts +25 -25
  17. package/src/metadata/IMetadataComponents.ts +24 -24
  18. package/src/metadata/IMetadataSchema.ts +293 -293
  19. package/src/metadata/IMetadataSchemaCollection.ts +20 -20
  20. package/src/metadata/IMetadataSchemaUnit.ts +20 -20
  21. package/src/metadata/IMetadataTypeTag.ts +39 -39
  22. package/src/metadata/index.ts +6 -6
  23. package/src/openapi/OpenApi.ts +643 -643
  24. package/src/openapi/OpenApiV3.ts +655 -655
  25. package/src/openapi/OpenApiV3_1.ts +735 -735
  26. package/src/openapi/SwaggerV2.ts +559 -559
  27. package/src/openapi/index.ts +4 -4
  28. package/src/protobuf/ProtobufWire.ts +51 -51
  29. package/src/protobuf/index.ts +1 -1
  30. package/src/schema/IJsonParseResult.ts +134 -136
  31. package/src/schema/IJsonSchemaApplication.ts +274 -274
  32. package/src/schema/IJsonSchemaAttribute.ts +158 -158
  33. package/src/schema/IJsonSchemaCollection.ts +123 -123
  34. package/src/schema/IJsonSchemaTransformError.ts +86 -86
  35. package/src/schema/IJsonSchemaUnit.ts +120 -120
  36. package/src/schema/ILlmApplication.ts +99 -99
  37. package/src/schema/ILlmController.ts +54 -57
  38. package/src/schema/ILlmFunction.ts +145 -118
  39. package/src/schema/ILlmSchema.ts +484 -484
  40. package/src/schema/IResult.ts +84 -84
  41. package/src/schema/IValidation.ts +134 -134
  42. package/src/schema/index.ts +14 -14
  43. package/src/tags/Constant.ts +49 -49
  44. package/src/tags/ContentMediaType.ts +40 -40
  45. package/src/tags/Default.ts +50 -50
  46. package/src/tags/Example.ts +48 -48
  47. package/src/tags/Examples.ts +50 -50
  48. package/src/tags/ExclusiveMaximum.ts +46 -46
  49. package/src/tags/ExclusiveMinimum.ts +46 -46
  50. package/src/tags/Format.ts +76 -76
  51. package/src/tags/JsonSchemaPlugin.ts +45 -45
  52. package/src/tags/MaxItems.ts +39 -39
  53. package/src/tags/MaxLength.ts +37 -37
  54. package/src/tags/Maximum.ts +44 -44
  55. package/src/tags/MinItems.ts +39 -39
  56. package/src/tags/MinLength.ts +37 -37
  57. package/src/tags/Minimum.ts +44 -44
  58. package/src/tags/MultipleOf.ts +54 -54
  59. package/src/tags/Pattern.ts +59 -59
  60. package/src/tags/Sequence.ts +43 -43
  61. package/src/tags/TagBase.ts +131 -131
  62. package/src/tags/Type.ts +70 -70
  63. package/src/tags/UniqueItems.ts +44 -44
  64. package/src/tags/index.ts +21 -21
  65. package/src/typings/AssertionGuard.ts +12 -12
  66. package/src/typings/Atomic.ts +21 -21
  67. package/src/typings/CamelCase.ts +75 -75
  68. package/src/typings/ClassProperties.ts +15 -15
  69. package/src/typings/DeepPartial.ts +39 -39
  70. package/src/typings/OmitNever.ts +12 -12
  71. package/src/typings/PascalCase.ts +71 -71
  72. package/src/typings/Primitive.ts +71 -71
  73. package/src/typings/ProtobufAtomic.ts +30 -30
  74. package/src/typings/Resolved.ts +58 -58
  75. package/src/typings/SnakeCase.ts +126 -126
  76. package/src/typings/SpecialFields.ts +13 -13
  77. package/src/typings/ValidationPipe.ts +20 -20
  78. package/src/typings/index.ts +14 -14
  79. package/src/typings/internal/Equal.ts +14 -14
  80. package/src/typings/internal/IsTuple.ts +17 -17
  81. package/src/typings/internal/NativeClass.ts +31 -31
  82. package/src/typings/internal/ValueOf.ts +29 -29
  83. package/src/utils/IRandomGenerator.ts +105 -105
  84. package/src/utils/IReadableURLSearchParams.ts +25 -25
  85. package/src/utils/index.ts +2 -2
@@ -1,71 +1,71 @@
1
- import { Equal } from "./internal/Equal";
2
- import { IsTuple } from "./internal/IsTuple";
3
- import { NativeClass } from "./internal/NativeClass";
4
- import { ValueOf } from "./internal/ValueOf";
5
-
6
- /**
7
- * Converts all object keys to PascalCase.
8
- *
9
- * `PascalCase<T>` transforms object property names to PascalCase format and
10
- * erases methods like {@link Resolved}. Recursively processes nested
11
- * structures.
12
- *
13
- * @author Jeongho Nam - https://github.com/samchon
14
- * @template T Target type to transform
15
- */
16
- export type PascalCase<T> =
17
- Equal<T, PascalizeMain<T>> extends true ? T : PascalizeMain<T>;
18
-
19
- type PascalizeMain<T> = T extends [never]
20
- ? never // special trick for (jsonable | null) type
21
- : T extends { valueOf(): boolean | bigint | number | string }
22
- ? ValueOf<T>
23
- : T extends Function
24
- ? never
25
- : T extends object
26
- ? PascalizeObject<T>
27
- : T;
28
-
29
- type PascalizeObject<T extends object> =
30
- T extends Array<infer U>
31
- ? IsTuple<T> extends true
32
- ? PascalizeTuple<T>
33
- : PascalizeMain<U>[]
34
- : T extends Set<infer U>
35
- ? Set<PascalizeMain<U>>
36
- : T extends Map<infer K, infer V>
37
- ? Map<PascalizeMain<K>, PascalizeMain<V>>
38
- : T extends WeakSet<any> | WeakMap<any, any>
39
- ? never
40
- : T extends NativeClass
41
- ? T
42
- : {
43
- [Key in keyof T as PascalizeString<
44
- Key & string
45
- >]: PascalizeMain<T[Key]>;
46
- };
47
-
48
- type PascalizeTuple<T extends readonly any[]> = T extends []
49
- ? []
50
- : T extends [infer F]
51
- ? [PascalizeMain<F>]
52
- : T extends [infer F, ...infer Rest extends readonly any[]]
53
- ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
54
- : T extends [(infer F)?]
55
- ? [PascalizeMain<F>?]
56
- : T extends [(infer F)?, ...infer Rest extends readonly any[]]
57
- ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
58
- : [];
59
-
60
- type PascalizeString<Key extends string> = Key extends `_${infer R}`
61
- ? `_${PascalizeString<R>}`
62
- : Key extends `${infer _F}_${infer _R}`
63
- ? PascalizeSnakeString<Key>
64
- : Capitalize<Key>;
65
- type PascalizeSnakeString<Key extends string> = Key extends `_${infer R}`
66
- ? PascalizeSnakeString<R>
67
- : Key extends `${infer F}${infer M}_${infer R}`
68
- ? `${Uppercase<F>}${Lowercase<M>}${PascalizeSnakeString<R>}`
69
- : Key extends `${infer F}${infer R}`
70
- ? `${Uppercase<F>}${Lowercase<R>}`
71
- : Key;
1
+ import { Equal } from "./internal/Equal";
2
+ import { IsTuple } from "./internal/IsTuple";
3
+ import { NativeClass } from "./internal/NativeClass";
4
+ import { ValueOf } from "./internal/ValueOf";
5
+
6
+ /**
7
+ * Converts all object keys to PascalCase.
8
+ *
9
+ * `PascalCase<T>` transforms object property names to PascalCase format and
10
+ * erases methods like {@link Resolved}. Recursively processes nested
11
+ * structures.
12
+ *
13
+ * @author Jeongho Nam - https://github.com/samchon
14
+ * @template T Target type to transform
15
+ */
16
+ export type PascalCase<T> =
17
+ Equal<T, PascalizeMain<T>> extends true ? T : PascalizeMain<T>;
18
+
19
+ type PascalizeMain<T> = T extends [never]
20
+ ? never // special trick for (jsonable | null) type
21
+ : T extends { valueOf(): boolean | bigint | number | string }
22
+ ? ValueOf<T>
23
+ : T extends Function
24
+ ? never
25
+ : T extends object
26
+ ? PascalizeObject<T>
27
+ : T;
28
+
29
+ type PascalizeObject<T extends object> =
30
+ T extends Array<infer U>
31
+ ? IsTuple<T> extends true
32
+ ? PascalizeTuple<T>
33
+ : PascalizeMain<U>[]
34
+ : T extends Set<infer U>
35
+ ? Set<PascalizeMain<U>>
36
+ : T extends Map<infer K, infer V>
37
+ ? Map<PascalizeMain<K>, PascalizeMain<V>>
38
+ : T extends WeakSet<any> | WeakMap<any, any>
39
+ ? never
40
+ : T extends NativeClass
41
+ ? T
42
+ : {
43
+ [Key in keyof T as PascalizeString<
44
+ Key & string
45
+ >]: PascalizeMain<T[Key]>;
46
+ };
47
+
48
+ type PascalizeTuple<T extends readonly any[]> = T extends []
49
+ ? []
50
+ : T extends [infer F]
51
+ ? [PascalizeMain<F>]
52
+ : T extends [infer F, ...infer Rest extends readonly any[]]
53
+ ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
54
+ : T extends [(infer F)?]
55
+ ? [PascalizeMain<F>?]
56
+ : T extends [(infer F)?, ...infer Rest extends readonly any[]]
57
+ ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
58
+ : [];
59
+
60
+ type PascalizeString<Key extends string> = Key extends `_${infer R}`
61
+ ? `_${PascalizeString<R>}`
62
+ : Key extends `${infer _F}_${infer _R}`
63
+ ? PascalizeSnakeString<Key>
64
+ : Capitalize<Key>;
65
+ type PascalizeSnakeString<Key extends string> = Key extends `_${infer R}`
66
+ ? PascalizeSnakeString<R>
67
+ : Key extends `${infer F}${infer M}_${infer R}`
68
+ ? `${Uppercase<F>}${Lowercase<M>}${PascalizeSnakeString<R>}`
69
+ : Key extends `${infer F}${infer R}`
70
+ ? `${Uppercase<F>}${Lowercase<R>}`
71
+ : Key;
@@ -1,71 +1,71 @@
1
- import { Format } from "../tags/Format";
2
- import { Equal } from "./internal/Equal";
3
- import { IsTuple } from "./internal/IsTuple";
4
- import { NativeClass } from "./internal/NativeClass";
5
- import { ValueOf } from "./internal/ValueOf";
6
-
7
- /**
8
- * Converts a type to its JSON-serializable primitive form.
9
- *
10
- * `Primitive<T>` transforms types for JSON serialization: boxed primitives
11
- * become primitives (Boolean→boolean), classes become plain objects with
12
- * methods removed, Date becomes `string & Format<"date-time">`, and types with
13
- * `toJSON()` use their return type. Native classes (except Date) and bigint
14
- * become `never` as they're not JSON-serializable.
15
- *
16
- * @author Jeongho Nam - https://github.com/samchon
17
- * @author Kyungsu Kang - https://github.com/kakasoo
18
- * @author Michael - https://github.com/8471919
19
- * @template T Target type to convert
20
- */
21
- export type Primitive<T> =
22
- Equal<T, PrimitiveMain<T>> extends true ? T : PrimitiveMain<T>;
23
-
24
- type PrimitiveMain<Instance> = Instance extends [never]
25
- ? never // (special trick for jsonable | null) type
26
- : ValueOf<Instance> extends bigint
27
- ? never
28
- : ValueOf<Instance> extends boolean | number | string
29
- ? ValueOf<Instance>
30
- : Instance extends Function
31
- ? never
32
- : ValueOf<Instance> extends object
33
- ? Instance extends object
34
- ? Instance extends Date
35
- ? string & Format<"date-time">
36
- : Instance extends IJsonable<infer Raw>
37
- ? ValueOf<Raw> extends object
38
- ? Raw extends object
39
- ? PrimitiveObject<Raw> // object would be primitified
40
- : never // cannot be
41
- : ValueOf<Raw> // atomic value
42
- : Instance extends Exclude<NativeClass, Date>
43
- ? never
44
- : PrimitiveObject<Instance> // object would be primitified
45
- : never // cannot be
46
- : ValueOf<Instance>;
47
-
48
- type PrimitiveObject<Instance extends object> =
49
- Instance extends Array<infer T>
50
- ? IsTuple<Instance> extends true
51
- ? PrimitiveTuple<Instance>
52
- : PrimitiveMain<T>[]
53
- : {
54
- [P in keyof Instance]: PrimitiveMain<Instance[P]>;
55
- };
56
-
57
- type PrimitiveTuple<T extends readonly any[]> = T extends []
58
- ? []
59
- : T extends [infer F]
60
- ? [PrimitiveMain<F>]
61
- : T extends [infer F, ...infer Rest extends readonly any[]]
62
- ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
63
- : T extends [(infer F)?]
64
- ? [PrimitiveMain<F>?]
65
- : T extends [(infer F)?, ...infer Rest extends readonly any[]]
66
- ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
67
- : [];
68
-
69
- interface IJsonable<T> {
70
- toJSON(): T;
71
- }
1
+ import { Format } from "../tags/Format";
2
+ import { Equal } from "./internal/Equal";
3
+ import { IsTuple } from "./internal/IsTuple";
4
+ import { NativeClass } from "./internal/NativeClass";
5
+ import { ValueOf } from "./internal/ValueOf";
6
+
7
+ /**
8
+ * Converts a type to its JSON-serializable primitive form.
9
+ *
10
+ * `Primitive<T>` transforms types for JSON serialization: boxed primitives
11
+ * become primitives (Boolean→boolean), classes become plain objects with
12
+ * methods removed, Date becomes `string & Format<"date-time">`, and types with
13
+ * `toJSON()` use their return type. Native classes (except Date) and bigint
14
+ * become `never` as they're not JSON-serializable.
15
+ *
16
+ * @author Jeongho Nam - https://github.com/samchon
17
+ * @author Kyungsu Kang - https://github.com/kakasoo
18
+ * @author Michael - https://github.com/8471919
19
+ * @template T Target type to convert
20
+ */
21
+ export type Primitive<T> =
22
+ Equal<T, PrimitiveMain<T>> extends true ? T : PrimitiveMain<T>;
23
+
24
+ type PrimitiveMain<Instance> = Instance extends [never]
25
+ ? never // (special trick for jsonable | null) type
26
+ : ValueOf<Instance> extends bigint
27
+ ? never
28
+ : ValueOf<Instance> extends boolean | number | string
29
+ ? ValueOf<Instance>
30
+ : Instance extends Function
31
+ ? never
32
+ : ValueOf<Instance> extends object
33
+ ? Instance extends object
34
+ ? Instance extends Date
35
+ ? string & Format<"date-time">
36
+ : Instance extends IJsonable<infer Raw>
37
+ ? ValueOf<Raw> extends object
38
+ ? Raw extends object
39
+ ? PrimitiveObject<Raw> // object would be primitified
40
+ : never // cannot be
41
+ : ValueOf<Raw> // atomic value
42
+ : Instance extends Exclude<NativeClass, Date>
43
+ ? never
44
+ : PrimitiveObject<Instance> // object would be primitified
45
+ : never // cannot be
46
+ : ValueOf<Instance>;
47
+
48
+ type PrimitiveObject<Instance extends object> =
49
+ Instance extends Array<infer T>
50
+ ? IsTuple<Instance> extends true
51
+ ? PrimitiveTuple<Instance>
52
+ : PrimitiveMain<T>[]
53
+ : {
54
+ [P in keyof Instance]: PrimitiveMain<Instance[P]>;
55
+ };
56
+
57
+ type PrimitiveTuple<T extends readonly any[]> = T extends []
58
+ ? []
59
+ : T extends [infer F]
60
+ ? [PrimitiveMain<F>]
61
+ : T extends [infer F, ...infer Rest extends readonly any[]]
62
+ ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
63
+ : T extends [(infer F)?]
64
+ ? [PrimitiveMain<F>?]
65
+ : T extends [(infer F)?, ...infer Rest extends readonly any[]]
66
+ ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
67
+ : [];
68
+
69
+ interface IJsonable<T> {
70
+ toJSON(): T;
71
+ }
@@ -1,30 +1,30 @@
1
- /**
2
- * Protocol Buffers atomic (scalar) type names.
3
- *
4
- * Union of all primitive type identifiers used in Protocol Buffers wire format
5
- * encoding/decoding.
6
- *
7
- * @author Jeongho Nam - https://github.com/samchon
8
- */
9
- export type ProtobufAtomic =
10
- | "bool"
11
- | "int32"
12
- | "uint32"
13
- | "int64"
14
- | "uint64"
15
- | "float"
16
- | "double"
17
- | "string";
18
- export namespace ProtobufAtomic {
19
- /** Numeric protobuf types (integers and floats). */
20
- export type Numeric =
21
- | "int32"
22
- | "uint32"
23
- | "int64"
24
- | "uint64"
25
- | "float"
26
- | "double";
27
-
28
- /** 64-bit integer types that map to JavaScript `bigint`. */
29
- export type BigNumeric = "int64" | "uint64";
30
- }
1
+ /**
2
+ * Protocol Buffers atomic (scalar) type names.
3
+ *
4
+ * Union of all primitive type identifiers used in Protocol Buffers wire format
5
+ * encoding/decoding.
6
+ *
7
+ * @author Jeongho Nam - https://github.com/samchon
8
+ */
9
+ export type ProtobufAtomic =
10
+ | "bool"
11
+ | "int32"
12
+ | "uint32"
13
+ | "int64"
14
+ | "uint64"
15
+ | "float"
16
+ | "double"
17
+ | "string";
18
+ export namespace ProtobufAtomic {
19
+ /** Numeric protobuf types (integers and floats). */
20
+ export type Numeric =
21
+ | "int32"
22
+ | "uint32"
23
+ | "int64"
24
+ | "uint64"
25
+ | "float"
26
+ | "double";
27
+
28
+ /** 64-bit integer types that map to JavaScript `bigint`. */
29
+ export type BigNumeric = "int64" | "uint64";
30
+ }
@@ -1,58 +1,58 @@
1
- import { Equal } from "./internal/Equal";
2
- import { IsTuple } from "./internal/IsTuple";
3
- import { NativeClass } from "./internal/NativeClass";
4
- import { ValueOf } from "./internal/ValueOf";
5
-
6
- /**
7
- * Converts a type to its resolved form by erasing all methods.
8
- *
9
- * `Resolved<T>` transforms classes to plain objects, extracts primitive values
10
- * from boxed types (Boolean→boolean, Number→number, String→string), and
11
- * recursively processes nested structures. Native classes (Date, Set, Map,
12
- * etc.) are preserved unchanged.
13
- *
14
- * @author Jeongho Nam - https://github.com/samchon
15
- * @author Kyungsu Kang - https://github.com/kakasoo
16
- * @template T Target type to resolve
17
- */
18
- export type Resolved<T> =
19
- Equal<T, ResolvedMain<T>> extends true ? T : ResolvedMain<T>;
20
-
21
- type ResolvedMain<T> = T extends [never]
22
- ? never // (special trick for jsonable | null) type
23
- : ValueOf<T> extends boolean | number | bigint | string
24
- ? ValueOf<T>
25
- : T extends Function
26
- ? never
27
- : T extends object
28
- ? ResolvedObject<T>
29
- : ValueOf<T>;
30
-
31
- type ResolvedObject<T extends object> =
32
- T extends Array<infer U>
33
- ? IsTuple<T> extends true
34
- ? ResolvedTuple<T>
35
- : ResolvedMain<U>[]
36
- : T extends Set<infer U>
37
- ? Set<ResolvedMain<U>>
38
- : T extends Map<infer K, infer V>
39
- ? Map<ResolvedMain<K>, ResolvedMain<V>>
40
- : T extends WeakSet<any> | WeakMap<any, any>
41
- ? never
42
- : T extends NativeClass
43
- ? T
44
- : {
45
- [P in keyof T]: ResolvedMain<T[P]>;
46
- };
47
-
48
- type ResolvedTuple<T extends readonly any[]> = T extends []
49
- ? []
50
- : T extends [infer F]
51
- ? [ResolvedMain<F>]
52
- : T extends [infer F, ...infer Rest extends readonly any[]]
53
- ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
54
- : T extends [(infer F)?]
55
- ? [ResolvedMain<F>?]
56
- : T extends [(infer F)?, ...infer Rest extends readonly any[]]
57
- ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
58
- : [];
1
+ import { Equal } from "./internal/Equal";
2
+ import { IsTuple } from "./internal/IsTuple";
3
+ import { NativeClass } from "./internal/NativeClass";
4
+ import { ValueOf } from "./internal/ValueOf";
5
+
6
+ /**
7
+ * Converts a type to its resolved form by erasing all methods.
8
+ *
9
+ * `Resolved<T>` transforms classes to plain objects, extracts primitive values
10
+ * from boxed types (Boolean→boolean, Number→number, String→string), and
11
+ * recursively processes nested structures. Native classes (Date, Set, Map,
12
+ * etc.) are preserved unchanged.
13
+ *
14
+ * @author Jeongho Nam - https://github.com/samchon
15
+ * @author Kyungsu Kang - https://github.com/kakasoo
16
+ * @template T Target type to resolve
17
+ */
18
+ export type Resolved<T> =
19
+ Equal<T, ResolvedMain<T>> extends true ? T : ResolvedMain<T>;
20
+
21
+ type ResolvedMain<T> = T extends [never]
22
+ ? never // (special trick for jsonable | null) type
23
+ : ValueOf<T> extends boolean | number | bigint | string
24
+ ? ValueOf<T>
25
+ : T extends Function
26
+ ? never
27
+ : T extends object
28
+ ? ResolvedObject<T>
29
+ : ValueOf<T>;
30
+
31
+ type ResolvedObject<T extends object> =
32
+ T extends Array<infer U>
33
+ ? IsTuple<T> extends true
34
+ ? ResolvedTuple<T>
35
+ : ResolvedMain<U>[]
36
+ : T extends Set<infer U>
37
+ ? Set<ResolvedMain<U>>
38
+ : T extends Map<infer K, infer V>
39
+ ? Map<ResolvedMain<K>, ResolvedMain<V>>
40
+ : T extends WeakSet<any> | WeakMap<any, any>
41
+ ? never
42
+ : T extends NativeClass
43
+ ? T
44
+ : {
45
+ [P in keyof T]: ResolvedMain<T[P]>;
46
+ };
47
+
48
+ type ResolvedTuple<T extends readonly any[]> = T extends []
49
+ ? []
50
+ : T extends [infer F]
51
+ ? [ResolvedMain<F>]
52
+ : T extends [infer F, ...infer Rest extends readonly any[]]
53
+ ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
54
+ : T extends [(infer F)?]
55
+ ? [ResolvedMain<F>?]
56
+ : T extends [(infer F)?, ...infer Rest extends readonly any[]]
57
+ ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
58
+ : [];