import type { Equal, Expect } from "./test-utils";

type A1 = MyExclude<"a" | "b" | "c", "a">;
type B1 = "b" | "c";
type C1 = Expect<Equal<A1, B1>>;
  
type A2 = MyExclude<"a" | "b" | "c", "a" | "b">;
type B2 = "c";
type C2 = Expect<Equal<A2, B2>>;

type A3 = MyExclude<
  string | number | (() => void),
  Function
>;
type B3 = string | number;
type C3 = Expect<Equal<A3, B3>>;

// ============= Your Code Here =============
type MyExclude<T, U> = T extends U ? never : T;

// ================== NOPE ==================
// creates an object type
// when what we want is type unions
type Nope0<T, U> = {
  [P in keyof T as P & U]: T[P];
};