summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/language-server/existential-decl-path.slang13
-rw-r--r--tests/language-server/override-completion-2.slang17
-rw-r--r--tests/language-server/smoke.slang.expected.txt2
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.