From 8a9f7dff8005b00697510e2fc4e33c76db8b5968 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Thu, 19 Dec 2019 16:10:27 +0300
Subject: [PATCH] do not expect getMarkupModel() returns EditorMarkupModel
 because somebody could have overridden that

GitOrigin-RevId: e45fd606d29672dd28d321527cf681dc672d16de
---
 .../daemon/impl/DefaultHighlightInfoProcessor.java          | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DefaultHighlightInfoProcessor.java b/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DefaultHighlightInfoProcessor.java
index 1484f511fac7..854c496913ec 100644
--- a/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DefaultHighlightInfoProcessor.java
+++ b/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DefaultHighlightInfoProcessor.java
@@ -64,8 +64,10 @@ public class DefaultHighlightInfoProcessor extends HighlightInfoProcessor {
   }
 
   static void repaintErrorStripeAndIcon(@NotNull Editor editor, @NotNull Project project) {
-    EditorMarkupModelImpl markup = (EditorMarkupModelImpl)editor.getMarkupModel();
-    markup.repaintTrafficLightIcon();
+    MarkupModel markup = editor.getMarkupModel();
+    if (markup instanceof EditorMarkupModelImpl) {
+      ((EditorMarkupModelImpl)markup).repaintTrafficLightIcon();
+    }
     ErrorStripeUpdateManager.getInstance(project).repaintErrorStripePanel(editor);
   }