From ea15647ba6bccb5ac48de5f4b80b8c2769d69b8f Mon Sep 17 00:00:00 2001 From: Yong He Date: Fri, 7 Apr 2023 10:12:00 -0700 Subject: 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 --- tests/diagnostics/generic-type-inference-fail.slang.expected | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/diagnostics/generic-type-inference-fail.slang.expected (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 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(int) -> T.TAssoc +} +standard output = { +} -- cgit v1.2.3