Fix type union logic in generic type inference. (#3852)

1 files changed, 10 insertions, 1 deletions

diff --git a/source/slang/slang-check-conversion.cpp b/source/slang/slang-check-conversion.cpp
index aeb964cc9..e55a88077 100644
--- a/source/slang/slang-check-conversion.cpp
+++ b/source/slang/slang-check-conversion.cpp
@@ -1389,13 +1389,22 @@ namespace Slang
     }
 
     bool SemanticsVisitor::canConvertImplicitly(
+        ConversionCost conversionCost)
+    {
+        // Is the conversion cheap enough to be done implicitly?
+        if (conversionCost >= kConversionCost_GeneralConversion)
+            return false;
+        return true;
+    }
+
+    bool SemanticsVisitor::canConvertImplicitly(
         Type* toType,
         QualType fromType)
     {
         auto conversionCost = getConversionCost(toType, fromType);
 
         // Is the conversion cheap enough to be done implicitly?
-        if (conversionCost >= kConversionCost_GeneralConversion)
+        if (canConvertImplicitly(conversionCost))
             return false;
 
         return true;