Specialize and SSA in a loop + better diagnostics on dynamic dispatch failure (#2396)

* Report diagnostic when dynamic dispatch failed instead of crashing.

* Specialize and SSA in a loop. Explicit specialization only interface.

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

1 files changed, 5 insertions, 0 deletions

diff --git a/source/slang/slang-ir-lower-generic-call.cpp b/source/slang/slang-ir-lower-generic-call.cpp
index 574db5dab..a94e72664 100644
--- a/source/slang/slang-ir-lower-generic-call.cpp
+++ b/source/slang/slang-ir-lower-generic-call.cpp
@@ -296,6 +296,11 @@ namespace Slang
             auto requirementKey = lookupInst->getRequirementKey();
             auto requirementVal =
                 sharedContext->findInterfaceRequirementVal(interfaceType, requirementKey);
+
+            if (interfaceType->findDecoration<IRSpecializeDecoration>())
+            {
+                sharedContext->sink->diagnose(callInst->sourceLoc, Diagnostics::dynamicDispatchOnSpecializeOnlyInterface, interfaceType);
+            }
             auto dispatchFunc = getOrCreateInterfaceDispatchMethod(
                 builder, interfaceType, requirementKey, requirementVal);