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

type Test1 = Contains<1 | "a", 1>;

type Test1expect = true;

Checking<Test1, Test1expect, Test.Pass>;

type Test2 = Contains<1 | "a", "a">;

type Test2expect = true;

Checking<Test2, Test2expect, Test.Pass>;

type Test3 = Contains<1 | "a", number>;

type Test3expect = true;

Checking<Test3, Test3expect, Test.Pass>;

type Test4 = Contains<1 | "a", string>;

type Test4expect = true;

Checking<Test4, Test4expect, Test.Pass>;

type Test5 = Contains<1 | "a", boolean>;

type Test5expect = false;

Checking<Test5, Test5expect, Test.Pass>;

type Test6 = Contains<1 | "a", boolean | string>;

type Test6expect = true;

Checking<Test6, Test6expect, Test.Pass>;

type Test7 = Contains<1 | "a", boolean | number>;

type Test7expect = true;

Checking<Test7, Test7expect, Test.Pass>;