Generalization of Implicit Conversions

[DevAndArtist (Adrian Meister)]

This thread is about type conversions that succeed. Therefore I want to carefully bring this phenomenon to your attention and ask if it would be somehow related?!

Is type of `Optional<T>.none` the same for any T by design?

This phenomenon also applies to empty collections. Example from @codafi's tweet. class Animal {} class Cat: Animal {} class Dog: Animal {} print(Dog() is Cat) // false print(Cat() is Dog) // false print([Cat]() is [Dog]) // true print([Dog]() is [Cat]) // true

While the conversions are not implicit, they still succeed.