Apparent refinement of result type; are you missing an '=' sign?