Скрыть аргументы универсального типа за результатами конкретного типа в CS0535 ⇐ C#

[Гость]

У меня довольно академический вопрос: почему технически невозможно использовать следующий код?

Код: Выделить всё

// abstractions
public record MappingRequest(
TContract Contract, TEntity Entity);

public interface IMapper
{
TResult Map(MappingRequest request);
}

// more readable abstraction
public interface ILocationMapper
: IMapper
{
}

// concrete
public record LocationResult;
public record LocationContract;
public record LocationEntity;

public record LocationRequest(LocationContract Contract, LocationEntity Entity)
: MappingRequest(Contract, Entity);

public class LocationMapper : ILocationMapper
{
public LocationResult Map(LocationRequest request)
{
return new LocationResult();
}
}

Это дает мне следующую ошибку компилятора:

Ошибка CS0535: «LocationMapper» не реализует член интерфейса «IMapper» .Map(MappingRequest)'

Почему компилятор не может «вывести» (не полностью) уверен, правильный ли это термин здесь), который LocationRequest наследует от MappingRequest?

Подробнее здесь: https://stackoverflow.com/questions/781 ... -in-cs0535