Since `List` is convariant on its type parameter, ...

# announcements

[ilya.gorbunov]

Since List is convariant on its type parameter, List<T&Any> is a subtype of List<T> even if T is a nullable type.