feat: add 0399-hard-tuple-filter

Author: coderhyy

type-challenges/0399-hard-tuple-filter/template.ts

@@ -0,0 +1,8 @@
+type FilterOut<T extends any[], F, R extends unknown[] = []> = T extends [
+  infer First,
+  ...infer Rest
+]
+  ? [First] extends [F]
+    ? FilterOut<Rest, F, R>
+    : FilterOut<Rest, F, [...R, First]>
+  : R;

type-challenges/0399-hard-tuple-filter/test-cases.ts

@@ -0,0 +1,23 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<FilterOut<[], never>, []>>,
+  Expect<Equal<FilterOut<[never], never>, []>>,
+  Expect<Equal<FilterOut<["a", never], never>, ["a"]>>,
+  Expect<Equal<FilterOut<[1, never, "a"], never>, [1, "a"]>>,
+  Expect<
+    Equal<
+      FilterOut<
+        [never, 1, "a", undefined, false, null],
+        never | null | undefined
+      >,
+      [1, "a", false]
+    >
+  >,
+  Expect<
+    Equal<
+      FilterOut<[number | null | undefined, never], never | null | undefined>,
+      [number | null | undefined]
+    >
+  >
+];