Test for formatting loop parameter with explicit type

idea/testData/formatter/LoopParameterWithExplicitType.after.kt

@@ -0,0 +1,5 @@
+fun f(c: Array<Int>) {
+    for (a: Int in c) {
+
+    }
+}

idea/testData/formatter/LoopParameterWithExplicitType.kt

@@ -0,0 +1,5 @@
+fun f(c: Array<Int>) {
+    for (a :  Int in c) {
+
+    }
+}

idea/tests/org/jetbrains/jet/formatter/JetFormatterTestGenerated.java

@@ -174,6 +174,11 @@ public class JetFormatterTestGenerated extends AbstractJetFormatterTest {
             doTest("idea/testData/formatter/LambdaArrow.after.kt");
         }
         
+        @TestMetadata("LoopParameterWithExplicitType.after.kt")
+        public void testLoopParameterWithExplicitType() throws Exception {
+            doTest("idea/testData/formatter/LoopParameterWithExplicitType.after.kt");
+        }
+        
         @TestMetadata("MultilineFunctionLiteral.after.kt")
         public void testMultilineFunctionLiteral() throws Exception {
             doTest("idea/testData/formatter/MultilineFunctionLiteral.after.kt");