From 74852ceb6b3bcc018042aba3e30933b7b6fc09ef Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 12 Feb 2025 14:58:00 -0800
Subject: Allow LHS of `where` to be any type. (#6333)

* Allow LHS of `where` to be any type.

* Register free-form extensions when loading precompiled module.

* Fix test.

* Fix.

* Fix `as<IRType>`.

* try fix precompiled module test.
---
 source/slang/slang-ir-link.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'source/slang/slang-ir-link.cpp')

diff --git a/source/slang/slang-ir-link.cpp b/source/slang/slang-ir-link.cpp
index 364e58c48..53bbbda9e 100644
--- a/source/slang/slang-ir-link.cpp
+++ b/source/slang/slang-ir-link.cpp
@@ -614,8 +614,8 @@ IRWitnessTable* cloneWitnessTableImpl(
     IRWitnessTable* clonedTable = dstTable;
     if (!clonedTable)
     {
-        auto clonedBaseType = cloneType(context, as<IRType>(originalTable->getConformanceType()));
-        auto clonedSubType = cloneType(context, as<IRType>(originalTable->getConcreteType()));
+        auto clonedBaseType = cloneType(context, (IRType*)(originalTable->getConformanceType()));
+        auto clonedSubType = cloneType(context, (IRType*)(originalTable->getConcreteType()));
         clonedTable = builder->createWitnessTable(clonedBaseType, clonedSubType);
     }
     cloneSimpleGlobalValueImpl(context, originalTable, originalValues, clonedTable, registerValue);
-- 
cgit v1.2.3