feat: add 5423-hard-intersection

Author: coderhyy

type-challenges/5423-hard-intersection/template.ts

@@ -0,0 +1,4 @@
+type MyExtract<T> = T extends unknown[] ? T[number] : T;
+type Intersection<T> = T extends [infer F, ...infer R]
+  ? MyExtract<F> & Intersection<R>
+  : unknown;

type-challenges/5423-hard-intersection/test-casrs.ts

@@ -0,0 +1,10 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<Intersection<[[1, 2], [2, 3], [2, 2]]>, 2>>,
+  Expect<Equal<Intersection<[[1, 2, 3], [2, 3, 4], [2, 2, 3]]>, 2 | 3>>,
+  Expect<Equal<Intersection<[[1, 2], [3, 4], [5, 6]]>, never>>,
+  Expect<Equal<Intersection<[[1, 2, 3], [2, 3, 4], 3]>, 3>>,
+  Expect<Equal<Intersection<[[1, 2, 3], 2 | 3 | 4, 2 | 3]>, 2 | 3>>,
+  Expect<Equal<Intersection<[[1, 2, 3], 2, 3]>, never>>
+];