However typescript says: This condition will always return 'false' since the types 'never[]' and 'boolean' have no overlap. ...for `[] == ![]`. Which is iro

However typescript says: This condition will always return 'false' since the types 'never[]' and 'boolean' have no overlap. ...for `[] == ![]`. Which is ironic because it does return true, not false. However at least it flags an error! I wonder how much of weirdness is wiped out by linters/ts/etc.