Tür, genel tür veya yöntemde 'T' parametresi olarak kullanılabilmesi için bir başvuru türü olmalıdır

Jenerik bilim hakkında daha derinlere iniyorum ve şimdi yardıma ihtiyacım olan bir durum var. Aşağıdaki 'Derived' sınıfında konu başlığında gösterildiği gibi derleme hatası alıyorum. Buna benzer başka birçok yayın görüyorum, ancak ilişkiyi görmüyorum. Birisi bana bunu nasıl çözeceğimi söyleyebilir mi?

using System;
using System.Collections.Generic;


namespace Example
{
    public class ViewContext
    {
        ViewContext() { }
    }

    public interface IModel
    {
    }

    public interface IView<T> where T : IModel 
    {
        ViewContext ViewContext { get; set; }
    }

    public class SomeModel : IModel
    {
        public SomeModel() { }
        public int ID { get; set; }
    }

    public class Base<T> where T : IModel
    {

        public Base(IView<T> view)
        {
        }
    }

    public class Derived<SomeModel> : Base<SomeModel> where SomeModel : IModel
    {

        public Derived(IView<SomeModel> view)
            : base(view)
        {
            SomeModel m = (SomeModel)Activator.CreateInstance(typeof(SomeModel));
            Service<SomeModel> s = new Service<SomeModel>();
            s.Work(m);
        }
    }

    public class Service<SomeModel> where SomeModel : IModel
    {
        public Service()
        {
        }

        public void Work(SomeModel m)
        {

        }
    }
}

Üreme edemem, ama gerçek kodunuzda bir yerde bir kısıtlama olduğundan şüpheleniyorumT : class - örneğin derleyiciyi mutlu etmek için yaymanız gerekiyor (örneğin bir repro örneği olmadan kesin olarak söylemek zor):

public class Derived<SomeModel> : Base<SomeModel> where SomeModel : class, IModel
                                                                    ^^^^^
                                                                 see this bit

Bu hatayı T,class

Genel bir sınıfa veya yönteme kısıtlama koyarsanız, bunu kullanan diğer tüm genel sınıflar veya yöntemler "en azından" bu kısıtlamalara sahip olmalıdır.