C# 派生クラスが型引数のCollection<T>を継承しているのに、基底クラスが型引数のIReadOnlyList<T>を実装できない

Question

前提・実現したいこと

以下のようなことがしたいのですが、コンパイルエラーが出てしまいます。

using System.Collections.Generic;
using System.Collections.ObjectModel;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args) { }
    }

    public interface IPerson { }

    public interface IPeople : IReadOnlyList<IPerson> { }

    public interface IStudent : IPerson { }

    //エラー	CS0738	'Students' は、インターフェイス メンバー 'IReadOnlyList<IPerson>.this[int]' を実装していません。'Collection<IStudent>.this[int]' は一致する 'IPerson' の戻り値の型を持たないため、'IReadOnlyList<IPerson>.this[int]' を実装できません。
    //エラー	CS0738	'Students' は、インターフェイス メンバー 'IEnumerable<IPerson>.GetEnumerator()' を実装していません。'Collection<IStudent>.GetEnumerator()' は一致する 'IEnumerator<IPerson>' の戻り値の型を持たないため、'IEnumerable<IPerson>.GetEnumerator()' を実装できません。
    public class Students : Collection<IStudent>, IPeople
    {

    }
}

明示的にインデクサとGetEnumerator()を実装すればエラーは出なくなりますが、C# 9.0で追加された共変戻り値が使えない理由が知りたいです。

using System.Collections.Generic;
using System.Collections.ObjectModel;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args) { }
    }

    public interface IPerson { }

    public interface IPeople : IReadOnlyList<IPerson> { }

    public interface IStudent : IPerson { }

    public class Students : Collection<IStudent>, IPeople
    {
        IPerson IReadOnlyList<IPerson>.this[int index] => this[index];

        IEnumerator<IPerson> IEnumerable<IPerson>.GetEnumerator() => GetEnumerator();
    }
}

補足情報（FW/ツールのバージョンなど）

<Project Sdk="Microsoft.NET.Sdk">

	<PropertyGroup>
		<OutputType>Exe</OutputType>
		<TargetFramework>net5.0</TargetFramework>
		<Nullable>enable</Nullable>
		<LangVersion>9.0</LangVersion>
	</PropertyGroup>

</Project>

Answer 1

C# 9.0で提供されるメソッド戻り値の共変性とは、基底クラスで定義されたメソッドを "overrideする時" に返り値の型により強い型を指定出来るという仕組みです。

ジェネリクスクラスとジェネリクスインターフェイスを継承ツリー上で合わせるタイミングでは、ジェネリクスクラスのメソッド実装はジェネリクスインターフェイスに対するoverrideとしては評価されないため、C# 9.0実装上の継承時においては両者は共変性が考慮されないと考えられます。

検証コード
https://dotnetfiddle.net/qVQOoO

---

なお、実用上は Collection<IStudent> のみ継承しているだけでも共変性によって

IReadOnlyList<IPerson> peaple = new Students();

検証コード
https://dotnetfiddle.net/VAHSnK

と記述できるため、Studentsクラス は（単に IReadOnlyList<IPerson> を実装するだけの）IPeople を継承せずとも十分かもしれません。

Comments

[退会済みユーザー]

現時点ではインターフェースメソッドの実装は共変戻り値使えないのですね。
ありがとうございました。
（インターフェースと共変戻り値について似た質問記事がありましたので一応貼っておきます。）
https://stackoverflow.com/questions/65230700/c-sharp-9-0-covariant-return-types-and-interfaces