From b37a7770d9781515f70047665d12680a5838406d Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Fri, 14 Aug 2020 10:04:32 -0700
Subject: Lower existential types. (#1497)

Co-authored-by: Tim Foley <tfoleyNV@users.noreply.github.com>
---
 source/slang/slang-ir-lower-generic-type.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'source/slang/slang-ir-lower-generic-type.cpp')

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();
         }
     };
 
-- 
cgit v1.2.3