F умозаключение # типа менее общие, чем указано в аннотации типа

Question

В последней строке следующего фрагмента кода, я получаю два предупреждения: This construct causes code to be less generic than indicated by the type annotations. The type variable 'c has been constrained to be type ''a'. и This construct causes code to be less generic than indicated by the type annotations. The type variable 'b has been constrained to be type ''a * 'a'.

type SomeBaseClass<'a>() = 
    class end 

type SomeClass<'a when 'a:equality> (getValue:unit->'a, ?arg2:SomeBaseClass<'b>) = 
    inherit SomeBaseClass<'a*'a>() 

    member this.Value with get() = getValue() 

    member this.Transform (transformation:'a->'c) = 
     let func():'c = transformation this.Value 
     SomeClass<'c> (func, this) // warnings are attached to this line 

Это, с другой стороны, компилирует без проблем:

type SomeOtherClass<'a when 'a:equality> (getValue:unit->'a) = 
    inherit SomeBaseClass<'a*'a>() 

    member this.Value with get() = getValue() 

    member this.Transform (transformation:'a->'c) = 
     let func():'c = transformation this.Value 
     SomeOtherClass<'c> func 

Я не вижу ничего предотвращения transformation от возвращения другого типа, чем он пропускается. Я также не понимаю, почему это второе предупреждение является даже предупреждением, потому что уже очевидно, что для параметра 'b для нового экземпляра явно будет 'a*'a.

Что я здесь делаю неправильно?

Answer 1

Общий тип SomeClass использует общий аргумент 'b в своем конструкторе, отсутствующий в его определении. Изменение определения типа для

type SomeClass<'a, 'b when 'a:equality> ... 

и линия с предупреждением

SomeClass(func, this) 

устраняет ошибку, и возвращаемый класс типа SomeClass<'c, ('a * 'a)>.

Я понятия не имею, чего это пытается достичь, поэтому я не могу сказать, является ли это разумной коррекцией.