feat: add 9155-hard-validdate

Author: coderhyy

type-challenges/9155-hard-validdate/template.ts

@@ -0,0 +1,23 @@
+// 参考 https://github.com/type-challenges/type-challenges/issues/11380
+type D30 =
+  | `${0 | 1 | 2}${1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9}`
+  | "10"
+  | "20"
+  | "30";
+type D31 = D30 | "31";
+type D28 = Exclude<D30, "29" | "30">;
+
+type ValidDate<T extends string> = T extends `${
+  | "01"
+  | "03"
+  | "05"
+  | "07"
+  | "08"
+  | "10"
+  | "12"}${D31}`
+  ? true
+  : T extends `${"04" | "06" | "09" | "11"}${D30}`
+  ? true
+  : T extends `${"02"}${D28}`
+  ? true
+  : false;

type-challenges/9155-hard-validdate/test-cases.ts

@@ -0,0 +1,11 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<ValidDate<"0102">, true>>,
+  Expect<Equal<ValidDate<"0131">, true>>,
+  Expect<Equal<ValidDate<"1231">, true>>,
+  Expect<Equal<ValidDate<"0229">, false>>,
+  Expect<Equal<ValidDate<"0100">, false>>,
+  Expect<Equal<ValidDate<"0132">, false>>,
+  Expect<Equal<ValidDate<"1301">, false>>
+];