Refer: Easy - Exclude

Describe

Implement the built-in Exclude<T, U>

Exclude from T those types that are assignable to U

Test Cases

code snippetCopytypescript
import { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<MyExclude<'a' | 'b' | 'c', 'a'>, Exclude<'a' | 'b' | 'c', 'a'>>>,
  Expect<Equal<MyExclude<'a' | 'b' | 'c', 'a' | 'b'>, Exclude<'a' | 'b' | 'c', 'a' | 'b'>>>,
  Expect<Equal<MyExclude<string | number | (() => void), Function>, Exclude<string | number | (() => void), Function>>>,
]

Solution

code snippetCopytypescript
type MyExclude<T, U> = T extends U ? never : T