协变数组

允许子类型数组被当作父类型数组使用的类型规则，可能引入不安全的写入