Annotation de type pour aucune propriété abstraite

Question

Des idées sur la façon dont je pourrais ajouter une annotation de type pour corriger cette erreur?

Je reçois un rouge squiggly sous Foo.Bar dans getFooBar et le message d'erreur suivant pour cela.

Rechercher sur un objet de type indéterminé sur la base des informations antérieures à ce point de programme. Une annotation de type peut être nécessaire avant ce point de programme pour contraindre le type de l'objet. Cela peut permettre à la recherche d'être résolue.

[<AllowNullLiteralAttribute>] 
type Test(foo : Test, bar : int) = 

    let getFooBar(test : Test) = 
     test.Foo.Bar 

    member this.Foo with get() = foo 
    member this.Bar with get() = bar 

Answer 1

Vous pouvez aussi annoter le type de la propriété Foo:

type Test(foo, bar : int) = 
    let getFooBar(test : Test) = 
     test.Foo.Bar 
    member this.Foo with get() : Test = foo 
    member this.Bar with get() = bar 

Answer 2

J'ai essayé de faire une fonction anonyme et cela fonctionne.

let getFooBar(test : Test) = 
    test.Foo |> fun (x:Test) -> x.Bar 

Y a-t-il un meilleur moyen?

Answer 3

Je ne comprends pas pourquoi cela est nécessaire, mais simplement annoter le résultat de Foo semble fonctionner:

[<AllowNullLiteralAttribute>] 
type Test(foo : Test, bar : int) = 
    let getFooBar(test : Test) = 
     (test.Foo : Test).Bar 

    member this.Foo with get() = foo  
    member this.Bar with get() = bar