summaryrefslogtreecommitdiff
path: root/tests/language-server/existential-decl-path.slang
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-07-01 14:02:35 -0700
committerGitHub <noreply@github.com>2025-07-01 21:02:35 +0000
commiteb7f3357a1c316bad51cf0bfaea27d81a93f96ad (patch)
tree448a2a07d36ef11b66ef79522086765efc5e708b /tests/language-server/existential-decl-path.slang
parent5120c1cd072548654c9ce79fa85426a5e48736c4 (diff)
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.
Diffstat (limited to 'tests/language-server/existential-decl-path.slang')
-rw-r--r--tests/language-server/existential-decl-path.slang13
1 files changed, 13 insertions, 0 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