GoldenCrystal (./35) :
En fait, un langage/runtime bien conçu devrait interdire d'utiliser un tableau de X comme un tableau de Y dans tous les cas.

Pas forcément tous les cas : si le tableau est en lecture seule, pourquoi ne pourrait-il pas être covariant ?