@eslinted/core 8.0.0 → 9.0.0-rc.1

package/typings/common/utility/iterable/build/tuples/index.d.ts

@@ -1,10 +1,10 @@
-declare type Monad<I = string> = Tuple<1, I>;
-declare type Dyad<I = string> = Tuple<2, I>;
-declare type Triad<I = string> = Tuple<3, I>;
-declare type Quad<I = string> = Tuple<4, I>;
-declare type Pentad<I = string> = Tuple<5, I>;
-declare type Hexad<I = string> = Tuple<6, I>;
-declare type Heptad<I = string> = Tuple<7, I>;
-declare type Octad<I = string> = Tuple<8, I>;
-declare type Nonad<I = string> = Tuple<9, I>;
-declare type Decad<I = string> = Tuple<10, I>;
+declare type Monad<I = string> = Tuple<1, I>;
+declare type Dyad<I = string> = Tuple<2, I>;
+declare type Triad<I = string> = Tuple<3, I>;
+declare type Quad<I = string> = Tuple<4, I>;
+declare type Pentad<I = string> = Tuple<5, I>;
+declare type Hexad<I = string> = Tuple<6, I>;
+declare type Heptad<I = string> = Tuple<7, I>;
+declare type Octad<I = string> = Tuple<8, I>;
+declare type Nonad<I = string> = Tuple<9, I>;
+declare type Decad<I = string> = Tuple<10, I>;

package/typings/common/utility/iterable/build/tuples/tuple/index.d.ts

@@ -1,26 +1,26 @@
-declare type Tuple<N extends number = 2, I = string> = [I] extends [never]
-  ? never
-  : N extends number
-    ? N extends 0 /* TODO: constrain posint */
-      ? readonly []
-      : TupleBuilder<N, I>
-    : never;
-
-type TupleBuilder<N extends number, I, H extends readonly I[] = readonly []> = H["length"] extends N
-  ? H
-  : TupleBuilder<N, I, readonly [...H, I]>;
-
-declare namespace Tuple {
-  export type T = Tuple;
-  export type T0 = Tuple<0>;
-  export type T0a = Tuple<1>;
-  export type T0b = Tuple<3>;
-  export type T1 = Tuple<2, string | number>;
-  export type T2 = Tuple<2 | 3>;
-  export type T3 = Tuple<2 | 3, string | number>;
-  export type T4 = Tuple<never>;
-  export type T4a = Tuple<0>;
-  export type T4b = Tuple<0 | 1>;
-  export type T4c = Tuple<1, never>;
-  export type T4d = Tuple<never, never>;
-}
+declare type Tuple<N extends number = 2, I = string> = [I] extends [never]
+  ? never
+  : N extends number
+    ? N extends 0 /* TODO: constrain posint */
+      ? readonly []
+      : TupleBuilder<N, I>
+    : never;
+
+type TupleBuilder<N extends number, I, H extends readonly I[] = readonly []> = H["length"] extends N
+  ? H
+  : TupleBuilder<N, I, readonly [...H, I]>;
+
+declare namespace Tuple {
+  export type T = Tuple;
+  export type T0 = Tuple<0>;
+  export type T0a = Tuple<1>;
+  export type T0b = Tuple<3>;
+  export type T1 = Tuple<2, string | number>;
+  export type T2 = Tuple<2 | 3>;
+  export type T3 = Tuple<2 | 3, string | number>;
+  export type T4 = Tuple<never>;
+  export type T4a = Tuple<0>;
+  export type T4b = Tuple<0 | 1>;
+  export type T4c = Tuple<1, never>;
+  export type T4d = Tuple<never, never>;
+}

package/typings/common/utility/iterable/identity/array/index.d.ts

@@ -1,65 +1,65 @@
-declare type ArrayType<A> = [A] extends [readonly unknown[]] ? A : never;
-
-// tests
-declare namespace ArrayType {
-  export type T0 = ArrayType<[]>;
-  export type T1 = ArrayType<[1, 1]>;
-  export type T2 = ArrayType<string[]>;
-  export type T3 = ArrayType<readonly []>;
-  export type T4 = ArrayType<readonly [1, 1]>;
-  export type T5 = ArrayType<readonly string[]>;
-  export type T6 = ArrayType<[[]]>;
-  export type T7 = ArrayType<string[] | int[]>;
-  export type T8 = ArrayType<(string | int)[]>;
-  export type T9 = ArrayType<
-    | []
-    | [5, 10]
-    | string []
-    | readonly []
-    | readonly [5, 10]
-    | readonly string[]
-  >;
-  export type T10 = ArrayType<[1?, ...string[]]>;
-  export type T11 = ArrayType<[1] | [1, 2?]>;
-}
-
-declare namespace NotArrayType {
-  export type N0 = ArrayType<"">;
-  export type N1 = ArrayType<"test">;
-  export type N2 = ArrayType<string>;
-  export type N3 = ArrayType<boolean>;
-  export type N4 = ArrayType<true>;
-  export type N5 = ArrayType<false>;
-  export type N6 = ArrayType<0>;
-  export type N7 = ArrayType<1>;
-  export type N8 = ArrayType<number>;
-  export type N9 = ArrayType<null>;
-  export type N10 = ArrayType<undefined>;
-  export type N11 = ArrayType<unknown>;
-  export type N12 = ArrayType<never>;
-  export type N13 = ArrayType<void>;
-  export type N14 = ArrayType<() => void>;
-  export type N15 = ArrayType<(a: string) => []>;
-  export type N16 = ArrayType<Record<string, unknown>>;
-  export type N17 = ArrayType<Record<number, 5>>;
-  export type N18 = ArrayType<stringful>;
-  export type N19 = ArrayType<{ 0: string }>;
-  export type N20 = ArrayType<{
-    0: string;
-    length: 1;
-  }>;
-  export type N21 = ArrayType<symbol>;
-  export type N22 = ArrayType<object>;
-  export type N23 = ArrayType<
-    | []
-    | object
-  >;
-  export type N24 = ArrayType<
-    | []
-    | string
-  >;
-  export type N25 = ArrayType<
-    | []
-    | null
-  >;
-}
+declare type ArrayType<A> = [A] extends [readonly unknown[]] ? A : never;
+
+// tests
+declare namespace ArrayType {
+  export type T0 = ArrayType<[]>;
+  export type T1 = ArrayType<[1, 1]>;
+  export type T2 = ArrayType<string[]>;
+  export type T3 = ArrayType<readonly []>;
+  export type T4 = ArrayType<readonly [1, 1]>;
+  export type T5 = ArrayType<readonly string[]>;
+  export type T6 = ArrayType<[[]]>;
+  export type T7 = ArrayType<string[] | int[]>;
+  export type T8 = ArrayType<(string | int)[]>;
+  export type T9 = ArrayType<
+    | []
+    | [5, 10]
+    | string []
+    | readonly []
+    | readonly [5, 10]
+    | readonly string[]
+  >;
+  export type T10 = ArrayType<[1?, ...string[]]>;
+  export type T11 = ArrayType<[1] | [1, 2?]>;
+}
+
+declare namespace NotArrayType {
+  export type N0 = ArrayType<"">;
+  export type N1 = ArrayType<"test">;
+  export type N2 = ArrayType<string>;
+  export type N3 = ArrayType<boolean>;
+  export type N4 = ArrayType<true>;
+  export type N5 = ArrayType<false>;
+  export type N6 = ArrayType<0>;
+  export type N7 = ArrayType<1>;
+  export type N8 = ArrayType<number>;
+  export type N9 = ArrayType<null>;
+  export type N10 = ArrayType<undefined>;
+  export type N11 = ArrayType<unknown>;
+  export type N12 = ArrayType<never>;
+  export type N13 = ArrayType<void>;
+  export type N14 = ArrayType<() => void>;
+  export type N15 = ArrayType<(a: string) => []>;
+  export type N16 = ArrayType<Record<string, unknown>>;
+  export type N17 = ArrayType<Record<number, 5>>;
+  export type N18 = ArrayType<stringful>;
+  export type N19 = ArrayType<{ 0: string }>;
+  export type N20 = ArrayType<{
+    0: string;
+    length: 1;
+  }>;
+  export type N21 = ArrayType<symbol>;
+  export type N22 = ArrayType<object>;
+  export type N23 = ArrayType<
+    | []
+    | object
+  >;
+  export type N24 = ArrayType<
+    | []
+    | string
+  >;
+  export type N25 = ArrayType<
+    | []
+    | null
+  >;
+}

package/typings/common/utility/iterable/identity/array/length/index.d.ts

@@ -1,16 +1,16 @@
-declare type ArrayLength<A extends readonly unknown[]> = LengthValue<ArrayType<A>["length"]>;
-
-declare namespace ArrayLength {
-  export type T0 = ArrayLength<[]>;
-  export type T0a = ArrayLength<string[]>;
-  export type T0b = ArrayLength<readonly []>;
-  export type T0d = ArrayLength<readonly string[]>;
-  export type T0c = ArrayLength<[string?, string?]>;
-  export type T1 = ArrayLength<[string] | [string, string?, string?]>;
-  export type T1b = ArrayLength<[string] | [string?, string?, string?]>; // 0 | 1 | 2 | 3 -- empty tuple -> length: 0 is just 0, so does not consume other possible lengths
-  export type T1c = ArrayLength<string[] | [string, string, string]>; // 0 -- array -> length: number coerced to length 0 but consumes all other possible lengths
-}
-
-declare namespace NotArrayLength {
-  export type N = ArrayLength<never>;
-}
+declare type ArrayLength<A extends readonly unknown[]> = LengthValue<ArrayType<A>["length"]>;
+
+declare namespace ArrayLength {
+  export type T0 = ArrayLength<[]>;
+  export type T0a = ArrayLength<string[]>;
+  export type T0b = ArrayLength<readonly []>;
+  export type T0d = ArrayLength<readonly string[]>;
+  export type T0c = ArrayLength<[string?, string?]>;
+  export type T1 = ArrayLength<[string] | [string, string?, string?]>;
+  export type T1b = ArrayLength<[string] | [string?, string?, string?]>; // 0 | 1 | 2 | 3 -- empty tuple -> length: 0 is just 0, so does not consume other possible lengths
+  export type T1c = ArrayLength<string[] | [string, string, string]>; // 0 -- array -> length: number coerced to length 0 but consumes all other possible lengths
+}
+
+declare namespace NotArrayLength {
+  export type N = ArrayLength<never>;
+}

package/typings/common/utility/iterable/identity/dyad.d.ts

@@ -1,3 +1,3 @@
-declare type DyadType<A extends readonly unknown[]> = 1 extends ArrayLength<A>
-  ? never
-  : MonadType<A>;
+declare type DyadType<A extends readonly unknown[]> = 1 extends ArrayLength<A>
+  ? never
+  : MonadType<A>;

package/typings/common/utility/iterable/identity/monad.d.ts

@@ -1,48 +1,48 @@
-declare type MonadType<A extends readonly unknown[]> = 0 extends ArrayLength<A>
-  ? never
-  : ArrayType<A>;
-
-declare namespace MonadType {
-  export type T0 = MonadType<[1, 1]>;
-  export type T1 = MonadType<readonly [1, 1]>;
-  export type T2 = MonadType<readonly [1, 1?]>;
-  export type T3 = MonadType<readonly [1?, 1?]>;
-  export type T4 = MonadType<readonly [1?, 1?]>;
-  export type T5 = MonadType<[[]]>;
-  export type T6 = MonadType<string[] | int[]>;
-  export type T7 = MonadType<(string | int)[]>;
-  export type T18 = MonadType<[string] | [5, 10]>;
-  export type T8a = MonadType<Tuple>;
-  export type T8b = MonadType<ArrayN<3>>;
-  export type T8c = MonadType<
-    | ArrayN<3>
-    | Tuple
-    | [string]
-    | [5, 10]
-    | [5, 13]
-    | readonly [5, 10]
-  >;
-}
-
-declare namespace NotMonadType {
-  export type N12 = MonadType<never>;
-  export type N26 = MonadType<[]>;
-  export type N27 = MonadType<string[]>;
-  export type N28 = MonadType<readonly []>;
-  export type N29 = MonadType<readonly string[]>;
-  export type N30 = MonadType<[5] | []>;
-  export type N30a = MonadType<[5] | string[]>;
-  export type N30b = MonadType<[5] | readonly []>;
-  export type N30c = MonadType<[5] | readonly string[]>;
-  export type N30d = MonadType<
-    | []
-    | [5, 10]
-    | string []
-    | readonly []
-    | readonly [5, 10]
-    | readonly string[]
-  >;
-  export type N31 = MonadType<ArrayN>;
-  export type N32 = MonadType<[string?]>;
-  export type N33 = MonadType<readonly [string?]>;
-}
+declare type MonadType<A extends readonly unknown[]> = 0 extends ArrayLength<A>
+  ? never
+  : ArrayType<A>;
+
+declare namespace MonadType {
+  export type T0 = MonadType<[1, 1]>;
+  export type T1 = MonadType<readonly [1, 1]>;
+  export type T2 = MonadType<readonly [1, 1?]>;
+  export type T3 = MonadType<readonly [1?, 1?]>;
+  export type T4 = MonadType<readonly [1?, 1?]>;
+  export type T5 = MonadType<[[]]>;
+  export type T6 = MonadType<string[] | int[]>;
+  export type T7 = MonadType<(string | int)[]>;
+  export type T18 = MonadType<[string] | [5, 10]>;
+  export type T8a = MonadType<Tuple>;
+  export type T8b = MonadType<ArrayN<3>>;
+  export type T8c = MonadType<
+    | ArrayN<3>
+    | Tuple
+    | [string]
+    | [5, 10]
+    | [5, 13]
+    | readonly [5, 10]
+  >;
+}
+
+declare namespace NotMonadType {
+  export type N12 = MonadType<never>;
+  export type N26 = MonadType<[]>;
+  export type N27 = MonadType<string[]>;
+  export type N28 = MonadType<readonly []>;
+  export type N29 = MonadType<readonly string[]>;
+  export type N30 = MonadType<[5] | []>;
+  export type N30a = MonadType<[5] | string[]>;
+  export type N30b = MonadType<[5] | readonly []>;
+  export type N30c = MonadType<[5] | readonly string[]>;
+  export type N30d = MonadType<
+    | []
+    | [5, 10]
+    | string []
+    | readonly []
+    | readonly [5, 10]
+    | readonly string[]
+  >;
+  export type N31 = MonadType<ArrayN>;
+  export type N32 = MonadType<[string?]>;
+  export type N33 = MonadType<readonly [string?]>;
+}

package/typings/common/utility/iterable/identity/triad.d.ts

@@ -1,3 +1,3 @@
-declare type TriadType<A extends readonly unknown[]> = 2 extends ArrayLength<A>
-  ? never
-  : DyadType<A>;
+declare type TriadType<A extends readonly unknown[]> = 2 extends ArrayLength<A>
+  ? never
+  : DyadType<A>;

package/typings/common/utility/iterable/transform/flat/index.d.ts

@@ -1,3 +1,3 @@
-declare type Flat<A extends readonly unknown[]> = A extends readonly (infer B)[]
-  ? B
-  : never;
+declare type Flat<A extends readonly unknown[]> = A extends readonly (infer B)[]
+  ? B
+  : never;

package/typings/common/utility/iterable/transform/flat/unflat/index.d.ts

@@ -1,3 +1,3 @@
-declare type Unflat<In = string, RO extends boolean = true> = [In] extends [never]
-  ? never
-  : In | (True<RO> extends never ? In[] : readonly In[]);
+declare type Unflat<In = string, RO extends boolean = true> = [In] extends [never]
+  ? never
+  : In | (True<RO> extends never ? In[] : readonly In[]);

package/typings/common/utility/iterable/transform/string/index.d.ts

@@ -1,30 +1,30 @@
-declare type Chain<
-  A extends readonly string[],
-  D extends string = "/",
-  Reverse extends boolean = false,
-> = literal<D> extends never
-  ? never
-  : D extends D
-    ? ArrayType<A> extends never
-      ? never
-      : ArrayType<A> extends readonly [infer H extends string, ...infer T extends string[]]
-        ? ArrayType<T> extends readonly []
-          ? literalful<H>
-          : True<Reverse> extends never
-            ? `${literalful<H>}${literal<D>}${Chain<ArrayType<T>, literal<D>>}`
-            : `${Chain<ArrayType<T>, literal<D>, True<Reverse>>}${literal<D>}${literalful<H>}`
-        : never
-    : never;
-
-declare namespace Chain {
-  export type T = Chain<["a", "b", "c"]>;
-  export type T0 = Chain<["a", "b", "c"], "">;
-  export type T0a = Chain<["a", "b", "c"], "-">;
-  export type T1 = Chain<["a", "b", "c"], "/", true>;
-  export type T1a = Chain<["a", "b", "c"], ".", true>;
-  export type T2 = Chain<["a", "b" | "bar", "c"]>;
-  export type T2a = Chain<["a" | "foo", "b" | "bar", "c"]>; // 4
-  export type T3 = Chain<["a", "b", "c"], "." | "/">;
-  export type T4 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/">; // 8
-  export type T5 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/", true>; // 8
-}
+declare type Chain<
+  A extends readonly string[],
+  D extends string = "/",
+  Reverse extends boolean = false,
+> = literal<D> extends never
+  ? never
+  : D extends D
+    ? ArrayType<A> extends never
+      ? never
+      : ArrayType<A> extends readonly [infer H extends string, ...infer T extends string[]]
+        ? ArrayType<T> extends readonly []
+          ? literalful<H>
+          : True<Reverse> extends never
+            ? `${literalful<H>}${literal<D>}${Chain<ArrayType<T>, literal<D>>}`
+            : `${Chain<ArrayType<T>, literal<D>, True<Reverse>>}${literal<D>}${literalful<H>}`
+        : never
+    : never;
+
+declare namespace Chain {
+  export type T = Chain<["a", "b", "c"]>;
+  export type T0 = Chain<["a", "b", "c"], "">;
+  export type T0a = Chain<["a", "b", "c"], "-">;
+  export type T1 = Chain<["a", "b", "c"], "/", true>;
+  export type T1a = Chain<["a", "b", "c"], ".", true>;
+  export type T2 = Chain<["a", "b" | "bar", "c"]>;
+  export type T2a = Chain<["a" | "foo", "b" | "bar", "c"]>; // 4
+  export type T3 = Chain<["a", "b", "c"], "." | "/">;
+  export type T4 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/">; // 8
+  export type T5 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/", true>; // 8
+}

package/typings/common/utility/iterable/transform/string/stringify/index.d.ts

@@ -1,27 +1,27 @@
-declare type Stringify<C> = C extends abstract new (...args: infer A) => infer O
-  ? O extends { string: infer S extends string }
-    ? S
-    : O extends { toString: () => infer S extends string }
-      ? S
-      : never
-  : C extends ((...args: infer A) => infer S extends string)
-    ? S
-    : C extends { string: infer S extends string }
-      ? S
-      : C extends { toString: () => infer S extends string }
-        ? S
-        : never;
-
-declare namespace Stringify {
-  export type T = Stringify<CharString<"OK-Instance">>;
-  export type T0 = Stringify<CharStringCtor>;
-  export type T1 = Stringify<charstringfunc<"OK-Function">>;
-
-  type CharStringCtor = abstract new () => CharString<"OK-Constructor">;
-
-  interface CharString<Validator extends string> {
-    readonly string: valid<stringful, [Validator, "string"]>;
-  }
-
-  type charstringfunc<Validator extends string> = () => valid<stringful, [Validator, "string"]>;
-}
+declare type Stringify<C> = C extends abstract new (...args: infer A) => infer O
+  ? O extends { string: infer S extends string }
+    ? S
+    : O extends { toString: () => infer S extends string }
+      ? S
+      : never
+  : C extends ((...args: infer A) => infer S extends string)
+    ? S
+    : C extends { string: infer S extends string }
+      ? S
+      : C extends { toString: () => infer S extends string }
+        ? S
+        : never;
+
+declare namespace Stringify {
+  export type T = Stringify<CharString<"OK-Instance">>;
+  export type T0 = Stringify<CharStringCtor>;
+  export type T1 = Stringify<charstringfunc<"OK-Function">>;
+
+  type CharStringCtor = abstract new () => CharString<"OK-Constructor">;
+
+  interface CharString<Validator extends string> {
+    readonly string: valid<stringful, [Validator, "string"]>;
+  }
+
+  type charstringfunc<Validator extends string> = () => valid<stringful, [Validator, "string"]>;
+}

package/typings/common/utility/nullable/index.d.ts

@@ -1 +1 @@
-declare type Nullable<T> = Null<NonNullable<T>>;
+declare type Nullable<T> = Null<NonNullable<T>>;

package/typings/common/utility/nullable/index.spec.d.ts

@@ -1,13 +1,13 @@
-declare namespace Nullable {
-  type OK = Test<TF> | 0;
-  type TF = {
-    T: {
-      T0: Nullable<string>;
-      T1: Nullable<string | null>;
-      T2: Nullable<string | undefined>;
-      T3: Nullable<string | null | undefined>;
-      T4: Nullable<string | int | null>;
-      T6: Nullable<NonNullable<undefined | string>>;
-    };
-  };
-}
+declare namespace Nullable {
+  type OK = Test<TF> | 0;
+  type TF = {
+    T: {
+      T0: Nullable<string>;
+      T1: Nullable<string | null>;
+      T2: Nullable<string | undefined>;
+      T3: Nullable<string | null | undefined>;
+      T4: Nullable<string | int | null>;
+      T6: Nullable<NonNullable<undefined | string>>;
+    };
+  };
+}

package/typings/common/utility/nullable/null/index.d.ts

@@ -1 +1 @@
-declare type Null<T> = null | T;
+declare type Null<T> = null | T;

package/typings/common/utility/nullable/null/index.spec.d.ts

@@ -1,13 +1,13 @@
-declare namespace _Null {
-  type OK = Test<TF> | 0;
-  type TF = {
-    T: {
-      T0: Null<string>;
-      T1: Null<string | null>;
-      T2: Null<string | undefined>;
-      T3: Null<string | null | undefined>;
-      T4: Null<string | int | null>;
-      T6: Null<NonNullable<undefined | string>>;
-    };
-  };
-}
+declare namespace _Null {
+  type OK = Test<TF> | 0;
+  type TF = {
+    T: {
+      T0: Null<string>;
+      T1: Null<string | null>;
+      T2: Null<string | undefined>;
+      T3: Null<string | null | undefined>;
+      T4: Null<string | int | null>;
+      T6: Null<NonNullable<undefined | string>>;
+    };
+  };
+}

package/typings/common/utility/object/build/index.d.ts

@@ -1,3 +1,3 @@
-declare type Constructor<C> = C extends abstract new (...args: infer A) => infer O
-  ? new (...args: A) => O
-  : never;
+declare type Constructor<C> = C extends abstract new (...args: infer A) => infer O
+  ? new (...args: A) => O
+  : never;

package/typings/common/utility/primitive/boolean/true/index.d.ts

@@ -1,30 +1,30 @@
-declare type True<B extends boolean> = true extends Primeval<B, boolean>
-  ? Primeval<B, boolean>
-  : never;
-
-declare namespace True {
-  export type T0 = True<true>;
-}
-
-declare namespace NotTrue {
-
-  export type N0 = True<never>;
-  export type N1 = True<false>;
-  export type N1a = True<false | true>;
-  export type N1b = True<boolean>;
-
-  // export type N2 = True<true | 10>;
-  // export type N2a = True<true | object>;
-  // export type N2b = True<true | undefined>;
-  // export type N2c = True<true | null>;
-  // export type N2d = True<0>;
-  // export type N2e = True<1>;
-  // export type N2f = True<number>;
-  // export type N2g = True<"">;
-  // export type N2h = True<"true">;
-  // export type N2i = True<"foo">;
-  // export type N2j = True<null>;
-  // export type N2k = True<undefined>;
-  // export type N2l = True<[]>;
-  // export type N2m = True<object>;
-}
+declare type True<B extends boolean> = true extends Primeval<B, boolean>
+  ? Primeval<B, boolean>
+  : never;
+
+declare namespace True {
+  export type T0 = True<true>;
+}
+
+declare namespace NotTrue {
+
+  export type N0 = True<never>;
+  export type N1 = True<false>;
+  export type N1a = True<false | true>;
+  export type N1b = True<boolean>;
+
+  // export type N2 = True<true | 10>;
+  // export type N2a = True<true | object>;
+  // export type N2b = True<true | undefined>;
+  // export type N2c = True<true | null>;
+  // export type N2d = True<0>;
+  // export type N2e = True<1>;
+  // export type N2f = True<number>;
+  // export type N2g = True<"">;
+  // export type N2h = True<"true">;
+  // export type N2i = True<"foo">;
+  // export type N2j = True<null>;
+  // export type N2k = True<undefined>;
+  // export type N2l = True<[]>;
+  // export type N2m = True<object>;
+}