From eb7f3357a1c316bad51cf0bfaea27d81a93f96ad Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 1 Jul 2025 14:02:35 -0700
Subject: Misc language server improvements. (#7569)

* Misc language server improvements.

* Fix.

* Fix decl path printing for existential lookup.

* More existential decl path fix.

* Polish.

* Fix test.
---
 tests/language-server/existential-decl-path.slang | 13 +++++++++++++
 tests/language-server/override-completion-2.slang | 17 +++++++++++++++++
 tests/language-server/smoke.slang.expected.txt    |  2 +-
 3 files changed, 31 insertions(+), 1 deletion(-)
 create mode 100644 tests/language-server/existential-decl-path.slang
 create mode 100644 tests/language-server/override-completion-2.slang

(limited to 'tests')

diff --git a/tests/language-server/existential-decl-path.slang b/tests/language-server/existential-decl-path.slang
new file mode 100644
index 000000000..9ffda72d6
--- /dev/null
+++ b/tests/language-server/existential-decl-path.slang
@@ -0,0 +1,13 @@
+//TEST:LANG_SERVER(filecheck=CHECK):
+interface IFoo
+{
+    int getSum();
+}
+
+void test(IFoo f)
+{
+//HOVER:10,9
+    f.getSum();
+}
+
+//CHECK: IFoo.getSum
diff --git a/tests/language-server/override-completion-2.slang b/tests/language-server/override-completion-2.slang
new file mode 100644
index 000000000..510af7020
--- /dev/null
+++ b/tests/language-server/override-completion-2.slang
@@ -0,0 +1,17 @@
+//TEST:LANG_SERVER(filecheck=CHECK):
+interface IBar{ associatedtype AT; }
+interface IFoo
+{
+    associatedtype B : IBar;
+//HOVER:7,12
+    static B.AT execute(int x);
+}
+
+struct Impl : IFoo
+{
+//COMPLETE:13,14
+    override 
+}
+
+//CHECK: associatedtype This.B
+//CHECK: static B.AT execute(int x)
\ No newline at end of file
diff --git a/tests/language-server/smoke.slang.expected.txt b/tests/language-server/smoke.slang.expected.txt
index 212bcdabb..7e0e8def7 100644
--- a/tests/language-server/smoke.slang.expected.txt
+++ b/tests/language-server/smoke.slang.expected.txt
@@ -16,7 +16,7 @@ content:
 --------
 activeParameter: 0
 activeSignature: 0
-func IFoo.getSum() -> int:
+func T.getSum() -> int:
 
 Returns the sum of the contents.  
 
-- 
cgit v1.2.3