hry-types/test/Any/Cast.test.ts

typescript工具类型库

// import { Checking, type Test } from "../../src";
// import type { Cast } from "../../src/Any/_api";

// type Test1 = Cast<0, number>;

// type Test1Expect = 0;

// Checking<Test1, Test1Expect, Test.Pass>;

// type Test2 = Cast<0 | 1, number>;

// type Test2Expect = 0 | 1;

// Checking<Test2, Test2Expect, Test.Pass>;

// type Test3 = Cast<0 | "str", number>;

// type Test3Expect = number;

// Checking<Test3, Test3Expect, Test.Pass>;