From c944ea78c16596b2887e8559d22e8341cbd30f4c Mon Sep 17 00:00:00 2001
From: Alexander Gorshenev <alexander.gorshenev@jetbrains.com>
Date: Thu, 13 Apr 2017 12:57:09 +0300
Subject: [PATCH] account for the receiver in property mangling

---
 .../org/jetbrains/kotlin/backend/konan/llvm/BinaryInterface.kt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/BinaryInterface.kt b/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/BinaryInterface.kt
index 2727ac0a3f4..e58fe44649e 100644
--- a/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/BinaryInterface.kt
+++ b/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/BinaryInterface.kt
@@ -168,7 +168,8 @@ internal val PropertyDescriptor.symbolName: String
         val containingDeclarationPart = containingDeclaration.fqNameSafe.let {
             if (it.isRoot) "" else "$it."
         }
-        return "kprop:$containingDeclarationPart$name"
+        val extensionReceiverPart = this.extensionReceiverParameter?.let { "${it.type}." } ?: ""
+        return "kprop:$containingDeclarationPart$extensionReceiverPart$name"
 
     }