Make the project compile

2023-03-18 06:14:05 +01:00
parent 5615d62032
commit babffd1fe6
45 changed files with 1323 additions and 1329 deletions
--- a/test/lib/tools/AndByDiscriminatingKey.type.ts
+++ b/test/lib/tools/AndByDiscriminatingKey.type.ts
@ -0,0 +1,73 @@
+import { AndByDiscriminatingKey } from "../../../tools/AndByDiscriminatingKey";
+import { assert } from "tsafe/assert";
+import type { Equals } from "tsafe";
+
+type Base = { pageId: "a"; onlyA: string } | { pageId: "b"; onlyB: string } | { pageId: "only base"; onlyBase: string };
+
+type Extension = { pageId: "a"; onlyExtA: string } | { pageId: "b"; onlyExtB: string } | { pageId: "only ext"; onlyExt: string };
+
+type Got = AndByDiscriminatingKey<"pageId", Extension, Base>;
+
+type Expected =
+    | { pageId: "a"; onlyA: string; onlyExtA: string }
+    | { pageId: "b"; onlyB: string; onlyExtB: string }
+    | { pageId: "only base"; onlyBase: string }
+    | { pageId: "only ext"; onlyExt: string };
+
+assert<Equals<Got, Expected>>();
+
+const x: Got = null as any;
+
+if (x.pageId === "a") {
+    x.onlyA;
+    x.onlyExtA;
+
+    //@ts-expect-error
+    x.onlyB;
+
+    //@ts-expect-error
+    x.onlyBase;
+
+    //@ts-expect-error
+    x.onlyExt;
+}
+
+if (x.pageId === "b") {
+    x.onlyB;
+    x.onlyExtB;
+
+    //@ts-expect-error
+    x.onlyA;
+
+    //@ts-expect-error
+    x.onlyBase;
+
+    //@ts-expect-error
+    x.onlyExt;
+}
+
+if (x.pageId === "only base") {
+    x.onlyBase;
+
+    //@ts-expect-error
+    x.onlyA;
+
+    //@ts-expect-error
+    x.onlyB;
+
+    //@ts-expect-error
+    x.onlyExt;
+}
+
+if (x.pageId === "only ext") {
+    x.onlyExt;
+
+    //@ts-expect-error
+    x.onlyA;
+
+    //@ts-expect-error
+    x.onlyB;
+
+    //@ts-expect-error
+    x.onlyBase;
+}