d.ts
type ExpectHogeAndFugaEqual = Expect<Equal<Hoge, Fuga>>
のように書いておくと、HogeとFugaの型が一致するなら型チェックが通り、HogeとFugaの型が一致しないなら型エラーで落ちてくれる