ts challenges 43

[maskle]

type MyExclude<T, U> = T extends (U | infer A) ? A : never

type test = MyExclude<'a', 'a'>

why this "test" type is "a"? i think it should be "never"

[JonghwanWon]

Hi @maskle

T extends (U | infer A) is always true.

T inferred to be A because (U | infer A) is union.
That is, T expands T. So it becomes true.

Hope this helps.