From 0f6e7cc2771eb41b8b41a0cd9652eeb7226458db Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Tue, 22 Mar 2016 19:18:10 +0300
Subject: [PATCH] Minor: add contract annotation

---
 compiler/frontend/src/org/jetbrains/kotlin/psi/KtPsiUtil.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/frontend/src/org/jetbrains/kotlin/psi/KtPsiUtil.java b/compiler/frontend/src/org/jetbrains/kotlin/psi/KtPsiUtil.java
index 7d7003cda32..b05b6b39309 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/psi/KtPsiUtil.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/psi/KtPsiUtil.java
@@ -738,6 +738,7 @@ public class KtPsiUtil {
     }
 
     @Nullable
+    @Contract("_, !null -> !null")
     public static KtModifierList replaceModifierList(@NotNull KtModifierListOwner owner, @Nullable KtModifierList modifierList) {
         KtModifierList oldModifierList = owner.getModifierList();
         if (modifierList == null) {