Add a more specific diagnostic message when passing concrete value to interface-typed output parameter (#6788)

* More specific diagnostic for invalid concrete-to-interface arg coercion

* Add test for the new error message

* Fix typo in expected test result

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/diagnostics/concrete-argument-to-output-interface.slang.expected b/tests/diagnostics/concrete-argument-to-output-interface.slang.expected
new file mode 100644
index 000000000..b979d01a3
--- /dev/null
+++ b/tests/diagnostics/concrete-argument-to-output-interface.slang.expected
@@ -0,0 +1,8 @@
+result code = -1
+standard error = {
+tests/diagnostics/concrete-argument-to-output-interface.slang(48): error 30077: argument passed to parameter 'x' is of concrete type 'MyThing', but interface-typed output parameters require interface-typed arguments. To allow passing a concrete type to this function, you can replace 'IThing x' with a generic 'T x' and a 'where T : IThing' constraint.
+    f(concrete); // ERROR!
+     ^
+}
+standard output = {
+}