From b33e43c416cbefd39835e1f167df1c80d37a51ad Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <talanov.pavel@gmail.com>
Date: Thu, 27 Mar 2014 20:51:35 +0400
Subject: [PATCH] Use stub in JetParameter#getValOrValNode()

---
 .../frontend/src/org/jetbrains/jet/lang/psi/JetParameter.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetParameter.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetParameter.java
index 9d22f50cf66..7524c8284f7 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetParameter.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetParameter.java
@@ -81,6 +81,10 @@ public class JetParameter extends JetNamedDeclarationStub<PsiJetParameterStub> {
 
     @Nullable
     public ASTNode getValOrVarNode() {
+        PsiJetParameterStub stub = getStub();
+        if (stub != null && !stub.hasValOrValNode()) {
+            return null;
+        }
         ASTNode val = getNode().findChildByType(JetTokens.VAL_KEYWORD);
         if (val != null) return val;