From abee8262a7d1f5ca40225fa2b82fd3eb7eb99bd6 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Tue, 13 Mar 2012 16:27:15 +0400
Subject: [PATCH] JetPsiReference.isReferenceTo() also checks for compiled
 kotlin elements.

---
 .../org/jetbrains/jet/plugin/references/JetPsiReference.java   | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/references/JetPsiReference.java b/idea/src/org/jetbrains/jet/plugin/references/JetPsiReference.java
index 0e3b3499088..4796049455b 100644
--- a/idea/src/org/jetbrains/jet/plugin/references/JetPsiReference.java
+++ b/idea/src/org/jetbrains/jet/plugin/references/JetPsiReference.java
@@ -81,7 +81,8 @@ public abstract class JetPsiReference implements PsiPolyVariantReference {
 
     @Override
     public boolean isReferenceTo(PsiElement element) {
-        return resolve() == element;
+        PsiElement target = resolve();
+        return target == element || target != null && target.getNavigationElement() == element;
     }
 
     @NotNull