diff --git a/libsolidity/AST.cpp b/libsolidity/AST.cpp
index c286c412b..4c042f2cf 100644
--- a/libsolidity/AST.cpp
+++ b/libsolidity/AST.cpp
@@ -132,8 +132,12 @@ void WhileStatement::checkTypeRequirements()
 
 void ForStatement::checkTypeRequirements()
 {
-	// LTODO
-	m_condExpression->expectType(BoolType());
+	if (m_initExpression)
+		m_initExpression->checkTypeRequirements();
+	if (m_condExpression)
+		m_condExpression->expectType(BoolType());
+	if (m_loopExpression)
+		m_loopExpression->checkTypeRequirements();
 	m_body->checkTypeRequirements();
 }
 
diff --git a/libsolidity/AST.h b/libsolidity/AST.h
index 297b7f4e9..2fb6a2e32 100644
--- a/libsolidity/AST.h
+++ b/libsolidity/AST.h
@@ -513,7 +513,7 @@ class ForStatement: public BreakableStatement
 {
 public:
 	ForStatement(Location const& _location,
-				 ASTPointer<ASTNode> const& _initExpression,
+				 ASTPointer<Statement> const& _initExpression,
 				 ASTPointer<Expression> const& _conditionExpression,
 				 ASTPointer<ExpressionStatement> const& _loopExpression,
 				 ASTPointer<Statement> const& _body):
@@ -527,7 +527,7 @@ public:
 	virtual void checkTypeRequirements() override;
 
 private:
-	ASTPointer<ASTNode> m_initExpression;
+	ASTPointer<Statement> m_initExpression;
 	ASTPointer<Expression> m_condExpression;
 	ASTPointer<ExpressionStatement> m_loopExpression;
 	ASTPointer<Statement> m_body;
diff --git a/libsolidity/Parser.cpp b/libsolidity/Parser.cpp
index 598f5ad47..2669ce209 100644
--- a/libsolidity/Parser.cpp
+++ b/libsolidity/Parser.cpp
@@ -374,7 +374,7 @@ ASTPointer<WhileStatement> Parser::parseWhileStatement()
 ASTPointer<ForStatement> Parser::parseForStatement()
 {
 	ASTNodeFactory nodeFactory(*this);
-	ASTPointer<ASTNode> initExpression;
+	ASTPointer<Statement> initExpression;
 	ASTPointer<Expression> conditionExpression;
 	ASTPointer<ExpressionStatement> loopExpression;
 	expectToken(Token::FOR);
@@ -401,7 +401,7 @@ ASTPointer<ForStatement> Parser::parseForStatement()
 												body);
 }
 
-ASTPointer<ASTNode> Parser::parseVardefOrExprstatement()
+ASTPointer<Statement> Parser::parseVardefOrExprstatement()
 {
 	if (peekVariableDefinition())
 		return parseVariableDefinition();
diff --git a/libsolidity/Parser.h b/libsolidity/Parser.h
index 343a85c0e..cd3d5bab6 100644
--- a/libsolidity/Parser.h
+++ b/libsolidity/Parser.h
@@ -60,7 +60,7 @@ private:
 	ASTPointer<IfStatement> parseIfStatement();
 	ASTPointer<WhileStatement> parseWhileStatement();
 	ASTPointer<ForStatement> parseForStatement();
-	ASTPointer<ASTNode> parseVardefOrExprstatement();
+	ASTPointer<Statement> parseVardefOrExprstatement();
 	ASTPointer<VariableDefinition> parseVariableDefinition();
 	ASTPointer<ExpressionStatement> parseExpressionStatement();
 	ASTPointer<Expression> parseExpression();