hry-types/test/Object/ComputeUnion.test.ts

typescript工具类型库

import type { Test } from "../../src";
import { Checking } from "../../src";
import type { ComputeIntersection } from "../../src/Object/ComputeIntersection";
import type { ComputeUnion } from "../../src/Object/ComputeUnion";

type Test1 = ComputeIntersection<ComputeUnion<{ a: number } | { b: string }>>;

type Test1Expected = { a: number; b: string };

Checking<Test1, Test1Expected, Test.Pass>;

type Test2 = ComputeIntersection<ComputeUnion<{ a: number; b: boolean } | { b: string; c: symbol }>>;

type Test2Expected = { b: string | boolean; c: symbol; a: number };

Checking<Test2, Test2Expected, Test.Pass>;