Introduced '@' after each annotation
From Array<T> <: Array<out Int> we may generate T >: Nothing (implicit) and T <: Int (explicit). Without ignoring we'll infer 'Nothing' for T too often