Ограничить тип возвращаемого значения подтипом этого

Если мы полагаемся на оператор switch-case в реализациях TypeFromEnum, чтобы предоставить нам тип на основе значения перечисления (как это делает другой ответ), мы все равно можем обеспечить безопасность времени компиляции с этого момента, изменив подпись, чтобы вернуть обычай IAssignableTo<out T> вместо Type.

Для этого нам нужны два дополнительных типа:

public class TypeOf<T> : IAssignableTo<T> {
    public Type Type => typeof(T);
}

public interface IAssignableTo<out T> {
    Type Type { get; }
}

Они помогают нам использовать ковариацию интерфейса, которая соответствует вашим требованиям к «подтипам» (в примере ниже будет понятно, как это сделать).

Затем мы переписываем интерфейс, чтобы он мог принимать еще один общий параметр ClassType, который мы ограничиваем типами, реализующими этот интерфейс. Это поможет нам изменить тип возвращаемого значения TypeFromEnum на IAssignableTo<ClassType> с Type. Значение интерфейса IAssignableTo<ClassType> имеет свойство Type, которое позволит нам получить экземпляр типа через typeof(ClassType) (см. реализацию выше).

internal interface ITyped<EnumType, ClassType> 
    where EnumType : struct, Enum
    where ClassType: ITyped<EnumType, ClassType> {
    public EnumType Type { get; }

    // !!! this method must always return a subtype* of the implementing class -> it does now
    internal static IAssignableTo<ClassType> TypeFromEnum(EnumType value) => throw new NotImplementedException();
}

и реализация:

public enum AType { a, a1, a2, a3 }

public class B { }

public class A1 : A { }

public class A : ITyped<AType, A> {
    public AType Type { get; }

    internal static IAssignableTo<A> TypeFromEnum(AType value) {
        switch (value) {
            case AType.a: return new TypeOf<A>();

            // IAssignableTo<A> covariance here allows us to return
            // TypeOf<A1> for a value of IAssignableTo<A>
            case AType.a1: return new TypeOf<A1>();

            //CS0266 Cannot implicitly convert type 'TypeOf<B>'
            // to 'IAssignableTo<A>'. 
            // An explicit conversion exists (are you missing a cast?)
            case AType.a2: return new TypeOf<B>(); // compile time error


            default: throw new InvalidOperationException(); // should never be called
        }
    }
}

Для использования вам просто нужно вызвать свойство Type возвращаемого значения:

IAssignableTo<A> typeOf = A.TypeFromEnum(AType.a1);
Type aType = typeOf.Type;

в вашем случае использования, возможно, где A - это общий параметр BaseType для другого класса:

IAssignableTo<BaseType> typeOf = _TypeFromEnum(value.Type);
Type baseType = typeOf.Type;

это помогает нам исключить проверку времени выполнения из другого ответа:

public Type SafeTypeFromEnum(EnumTypevalue value)
{
    var result = TypeFromEnum(value);
    if (!result.IsSubclassOf(typeof(EnumTypevalue)))
        throw new Exception();

    return result;
}

Невозможно заставить метод вернуть переменную, соответствующую определенному критерию.

Это похоже на этот интерфейс:

int GetOddRandomNumber();

Реализация может быть:

public int GetOddRandomNumber() => 42;

И ты ничего не можешь с этим поделать.

Решение состоит в том, чтобы обернуть вызов в метод, который будет проверять вывод:

public Type SafeTypeFromEnum(EnumTypevalue value)
{
    var result = TypeFromEnum(value);
    if (!result.IsSubclassOf(typeof(EnumTypevalue)))
        throw new Exception();

    return result;
}