From ab41d548db376c6b52869004d1b6e21b88b4c9c8 Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 6 Feb 2024 16:30:31 -0800 Subject: Improve Capability System (#3555) * Improve capability system. * Update documentation. * Tuning semantics. * LSP: hierarchical diagnostics. * Fix test. * Fix test. --- tests/diagnostics/generic-type-inference-fail.slang.expected | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/diagnostics/generic-type-inference-fail.slang.expected') diff --git a/tests/diagnostics/generic-type-inference-fail.slang.expected b/tests/diagnostics/generic-type-inference-fail.slang.expected index 17cb28ca2..1910954d0 100644 --- a/tests/diagnostics/generic-type-inference-fail.slang.expected +++ b/tests/diagnostics/generic-type-inference-fail.slang.expected @@ -3,7 +3,7 @@ standard error = { tests/diagnostics/generic-type-inference-fail.slang(66): error 39999: could not specialize generic for arguments of type (int) var obj3 = CreateT_Assoc_Inner(1); // ERROR. ^ -tests/diagnostics/generic-type-inference-fail.slang(18): note 39999: see declaration of func CreateT_Assoc_Inner(int) -> T.TAssoc +tests/diagnostics/generic-type-inference-fail.slang(18): note: see declaration of func CreateT_Assoc_Inner(int) -> T.TAssoc T.TAssoc CreateT_Assoc_Inner(int inVal) ^~~~~~~~~~~~~~~~~~~ } -- cgit v1.2.3