From b7d318f48db2cb83a41d665f1727ae93fc555124 Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 28 Sep 2023 18:07:40 -0700 Subject: Support `constref` parameters passing. (#3249) * Support `constref` parameters passing. * Fix. * Fix. * Add test and diagnostic on mix use of __constref and no_diff. * check for [constref] on differentiable member method. --------- Co-authored-by: Yong He --- tests/diagnostics/param-mutation.slang.expected | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'tests/diagnostics/param-mutation.slang.expected') diff --git a/tests/diagnostics/param-mutation.slang.expected b/tests/diagnostics/param-mutation.slang.expected index a1fb34fb7..314d6cbe3 100644 --- a/tests/diagnostics/param-mutation.slang.expected +++ b/tests/diagnostics/param-mutation.slang.expected @@ -1,8 +1,11 @@ -result code = 0 +result code = -1 standard error = { tests/diagnostics/param-mutation.slang(17): warning 30068: mutating method 'setValue' called on `in` parameter 's'; changes will not be visible to caller. copy the parameter into a local variable if this behavior is intended s.setValue(v + 1); ^ +tests/diagnostics/param-mutation.slang(36): error 30067: mutating method 'setValue' called on `in` parameter 's'; changes will not be visible to caller. copy the parameter into a local variable if this behavior is intended + s.setValue(v + 1); + ^ } standard output = { } -- cgit v1.2.3