久々にミスった。

CovariantArray.cs

// ↓.NET 的に許されていはいるものの、 items[0] = new Base(); が例外を起こすので今となってはあんまり使いたくない機能。
// 意図的に使うことはめったにないものの…
Base[] items1 = new Derived[1];

// ↓これはミスってやっちゃうことが…
// (左辺からの型推論はせず、初期化側から推論して Derived[] になる。)
Base[] items2 = new[] { new Derived() };

// items2[0] = new Base(); が問題を起こすのはまあ、有名として、
// new Span<T>(), AsSpan<T>() は呼んだ時点で例外らしい。
Span<Base> span = items2; // ここで ArrayTypeMismatchException が飛ぶ。

class Base { }
class Derived : Base { }