Interactions with Never leading to undesirable assignability

[jorenham (Joren Hammudoglu)]

@Jelle

Correct. Any | Never is the same type as Any.

That sounds incompatible with the T | Any spec:

The union T | Any is not reducible to a simpler form. It represents an unknown static type with lower bound T . That is, it represents an unknown set of objects which may be as large as object , or as small as T , but no smaller.

Which implies that T | Any should always be assignable to T, which could be Never, and is therefore assignable to Never, yet it isn’t.