[Typescript] BanType<T, E>

type BanType<T, E> = T extends E ? never : T;
type BanDate<T> = BanType<T, Date>;

function log<T>(x: BanDate<T>) {
  console.log()
}

log(new Date()) // Error
log(1) // OK