Should the type "Double & String" be "Never"?

[xwu (Xiaodi Wu)]

@xAlien95

Ironically, the premises were aiming at an intersection type " Double & String ", but instead we got a union type " Double | String " (kind of).

Not really. Again, the key is understanding that there are two distinct variables named foo.