Typ Anmerkungen im Zusammenhang mit zugeordneten Typen und Iteratoren erforderlich

8

Ich habe ein minimales Beispiel erstellt, das ein Inferenzproblem darstellt, das ich nicht lösen kann.

%Vor%

Der Compilerfehler ist

%Vor%

Ich habe andere Fragen über das Erfordernis von Typanmerkungen gelesen, aber dies scheint ein besonderer Fall zu sein, der damit verbundene Typen betrifft.

    
malbarbo 04.08.2015, 13:05
quelle

1 Antwort

6

Ich denke, das ist # 24338 , und wird dadurch verursacht, dass der Compiler durch die Lebenszeit verwirrt wird das Merkmal und der zugehörige Typ. Sie können umgehen, indem Sie den Körper der f -Methode in eine separate Funktion verschieben (verschachtelte Zahlen als separate, da sie unabhängig voneinander typisiert sind):

%Vor%     
huon 04.08.2015, 17:39
quelle

Tags und Links