summaryrefslogtreecommitdiff
path: root/tests/diagnostics/generic-type-inference-fail.slang
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-07-29 07:35:58 -0700
committerGitHub <noreply@github.com>2025-07-29 14:35:58 +0000
commit855b1a262f3a769d44765e78f94e566d875b9286 (patch)
treeea41db3717f55aa5032b1f04d71729a452ec68b2 /tests/diagnostics/generic-type-inference-fail.slang
parentea6f8551ad38f2bcc32b542fd52ce17f3829cbeb (diff)
[Language Server]: Show signature help on generic parameters. (#7913)
* Show signature help on generic parameters. * Fix. * Update tests. * slang-test: make vvl error go through stderr. * update slang-rhi * Update slang-rhi
Diffstat (limited to 'tests/diagnostics/generic-type-inference-fail.slang')
-rw-r--r--tests/diagnostics/generic-type-inference-fail.slang3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/diagnostics/generic-type-inference-fail.slang b/tests/diagnostics/generic-type-inference-fail.slang
index 803c7584c..106570587 100644
--- a/tests/diagnostics/generic-type-inference-fail.slang
+++ b/tests/diagnostics/generic-type-inference-fail.slang
@@ -1,4 +1,4 @@
-//DIAGNOSTIC_TEST:SIMPLE:
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
interface IAssoc
{
@@ -63,6 +63,7 @@ int test()
var obj = CreateT<Impl>(2);
var obj2 = CreateT_Assoc<Impl>(1);
+ // CHECK: could not specialize generic for arguments of type
var obj3 = CreateT_Assoc_Inner(1); // ERROR.
return obj.GetAssoc().Compute() + obj2.Compute() + obj3.Compute();