¿Por qué 'Código no es lo suficientemente genérico'?

Question

¿Alguien puede explicar por qué no se compilará el segundo ejemplo a continuación?

'Test 2' da '' error FS0670: Este código no es suficientemente genérico. La variable de tipo^a no se puede generalizar porque escaparía a su alcance. ". No entiendo este mensaje de error.

// Test 1 
type test1<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> a.ToString() 

// Test 2 
type test2<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> string a 

// Test 3 
type test3<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> string (a :> obj) 

Answer 1

Aquí hay otro repro:

let inline f< ^T>(x:^T) = box x 

type test4<'a> = | A of 'a 
    with 
    member t.M() = 
     match t with 
     | A a -> f a 

string es una función en línea que utiliza restricciones de tipo estático, y los diagnósticos de error para tales funciones son a veces pobres. Realmente no entiendo el mensaje de diagnóstico en sí, pero el punto es que en el sitio de la llamada no conocemos el tipo genérico 'a, lo que significa que no podemos alinear la versión correcta de la llamada al string (o f en mi repro). En, por ejemplo, En el caso en el que elevó a obj, sabemos que queremos alinear la versión obj de string, por lo que está bien.

Answer 2

Me imagino que es porque la cadena tiene una firma de (obj -> string) para el uso de la cadena en su propio está obligando a un ser de tipo obj. (F # no hace conversiones implícitas.)