KT-707 default params for constructors

compiler/backend/src/org/jetbrains/jet/codegen/FunctionCodegen.java

@@ -366,8 +366,12 @@ public class FunctionCodegen {
                     if(kind == OwnerKind.TRAIT_IMPL) {
                         iv.invokeinterface(ownerInternalName, jvmSignature.getName(), jvmSignature.getDescriptor());
                     }
-                    else
-                        iv.invokevirtual(ownerInternalName, jvmSignature.getName(), jvmSignature.getDescriptor());
+                    else {
+                        if(!isConstructor)
+                            iv.invokevirtual(ownerInternalName, jvmSignature.getName(), jvmSignature.getDescriptor());
+                        else
+                            iv.invokespecial(ownerInternalName, jvmSignature.getName(), jvmSignature.getDescriptor());
+                    }
                 }
                 else {
                     iv.invokestatic(ownerInternalName, jvmSignature.getName(), jvmSignature.getDescriptor());

compiler/testData/codegen/regressions/kt707.jet

@@ -0,0 +1,9 @@
+class List<T>(val head: T, val tail: List<T>? = null)
+
+fun <T> List<T>.mapHead(f: fun(T): T): List<T> = List<T>(f(head), null)
+
+fun box() : String {
+  val a: Int = List<Int>(1).mapHead{it * 2}.head
+  System.out?.println(a)
+  return "OK"
+}

compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java

@@ -225,4 +225,8 @@ public class ClassGenTest extends CodegenTestCase {
     public void testKt285 () throws Exception {
 //        blackBoxFile("regressions/kt285.jet");
     }
+
+    public void testKt707 () throws Exception {
+        blackBoxFile("regressions/kt707.jet");
+    }
 }