From 31b28cec9232f44d3d7c294100eb8e55538993a4 Mon Sep 17 00:00:00 2001
From: "Natalia.Ukhorskaya" <natalia.ukhorskaya@jetbrains.com>
Date: Tue, 13 Nov 2012 18:38:29 +0400
Subject: [PATCH] Default setter for property: skip receiver argument

---
 .../src/org/jetbrains/jet/codegen/PropertyCodegen.java       | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/PropertyCodegen.java b/compiler/backend/src/org/jetbrains/jet/codegen/PropertyCodegen.java
index 94ebbedc247..d0d1b77ce4b 100644
--- a/compiler/backend/src/org/jetbrains/jet/codegen/PropertyCodegen.java
+++ b/compiler/backend/src/org/jetbrains/jet/codegen/PropertyCodegen.java
@@ -288,7 +288,10 @@ public class PropertyCodegen extends GenerationStateAware {
                         iv.load(0, OBJECT_TYPE);
                         paramCode = 1;
                     }
-
+                    ReceiverParameterDescriptor receiverParameter = propertyDescriptor.getReceiverParameter();
+                    if (receiverParameter != null) {
+                        paramCode += typeMapper.mapType(receiverParameter.getType()).getSize();
+                    }
                     iv.load(paramCode, type);
                     iv.visitFieldInsn(kind == OwnerKind.NAMESPACE ? PUTSTATIC : PUTFIELD,
                                       typeMapper.getOwner(propertyDescriptor, kind).getInternalName(),