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.

3 files changed, 31 insertions, 1 deletions

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.