From 30e4dd797e4ed33e6ad0e7dc5d007954a3aec346 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Tue, 18 Jun 2024 10:30:33 +0300
Subject: [PATCH] Shift inlays for definitions with access modifiers

---
 .../org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt b/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt
index cf0f136db..0429bd1a3 100644
--- a/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt
+++ b/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt
@@ -35,7 +35,7 @@ abstract class ArendDefinitionInlayProvider : InlayHintsProvider<NoSettings> {
                 val def = (arendDef.tcReferable as? TCDefReferable)?.typechecked ?: return true
                 val text = getText(def) ?: return true
 
-                val offset = arendDef.startOffset
+                val offset = (arendDef.parent ?: arendDef).startOffset
                 val inset = if (document == null) 0 else {
                     val width = EditorUtil.getPlainSpaceWidth(editor)
                     val line = document.getLineNumber(offset)