Diagnose on attempt to specialize with interface type. (#2780)

* Diagnose on attempt to specialize with interface type.

Fixes ##1445.

* Enable fixed test.

* Fix test.

* Fix.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/diagnostics/generic-type-inference-fail.slang.expected b/tests/diagnostics/generic-type-inference-fail.slang.expected
new file mode 100644
index 000000000..3f9753d68
--- /dev/null
+++ b/tests/diagnostics/generic-type-inference-fail.slang.expected
@@ -0,0 +1,9 @@
+result code = -1
+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<T>(int) -> T.TAssoc
+}
+standard output = {
+}