KT-1165 right type for default property setter

compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java

@@ -729,6 +729,7 @@ public class DescriptorResolver {
         }
         else {
             getterDescriptor = createDefaultGetter(propertyDescriptor);
+            getterDescriptor.initialize(propertyDescriptor.getOutType());
         }
         return getterDescriptor;
     }

compiler/testData/codegen/regressions/kt1165.kt

@@ -0,0 +1,13 @@
+public abstract class VirtualFile() {
+    public abstract val size : Long
+}
+
+public class PhysicalVirtualFile : VirtualFile() {
+    public override val size: Long
+    get() = 11
+}
+
+fun box() : String {
+    PhysicalVirtualFile()
+    return "OK"
+}

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

@@ -254,15 +254,19 @@ public class ClassGenTest extends CodegenTestCase {
         blackBoxFile("classes/selfcreate.kt");
     }
 
-    public void testkt1134() throws Exception {
+    public void testKt1134() throws Exception {
         blackBoxFile("regressions/kt1134.kt");
     }
 
-    public void testkt1157() throws Exception {
+    public void testKt1157() throws Exception {
         blackBoxFile("regressions/kt1157.kt");
     }
 
-    public void testkt471() throws Exception {
+    public void testKt471() throws Exception {
         blackBoxFile("regressions/kt471.kt");
     }
+
+    public void testKt1165() throws Exception {
+        blackBoxFile("regressions/kt1165.kt");
+    }
 }