Lower existential types. (#1497)

Co-authored-by: Tim Foley <tfoleyNV@users.noreply.github.com>

1 files changed, 5 insertions, 0 deletions

diff --git a/source/slang/slang-ir-lower-generic-type.cpp b/source/slang/slang-ir-lower-generic-type.cpp
index c94a4c37e..4ea47a4b2 100644
--- a/source/slang/slang-ir-lower-generic-type.cpp
+++ b/source/slang/slang-ir-lower-generic-type.cpp
@@ -16,6 +16,10 @@ namespace Slang
 
         void processInst(IRInst* inst)
         {
+            // If inst is a type itself, keep its type.
+            if (as<IRType>(inst))
+                return;
+
             IRBuilder builderStorage;
             auto builder = &builderStorage;
             builder->sharedBuilder = &sharedContext->sharedBuilderStorage;
@@ -57,6 +61,7 @@ namespace Slang
                     }
                 }
             }
+            sharedContext->sharedBuilderStorage.deduplicateAndRebuildGlobalNumberingMap();
         }
     };