typing: AForBlock propagates error to the main AForExpr