From 4c6b0a2831a7edd1419bd0b2e6edd089080e07be Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 31 Jul 2024 17:35:08 -0700
Subject: Allow generic type deduction from ParameterBlock arguments. (#4766)

* Allow generic type deduction from ParameterBlock arguments.

* Fix test.

* Update expected failure list.

---------

Co-authored-by: Yong He <yhe@nvidia.com>
---
 source/slang/slang-check-constraint.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'source')

diff --git a/source/slang/slang-check-constraint.cpp b/source/slang/slang-check-constraint.cpp
index 23f7354d9..1195ed1f9 100644
--- a/source/slang/slang-check-constraint.cpp
+++ b/source/slang/slang-check-constraint.cpp
@@ -949,6 +949,11 @@ namespace Slang
                     QualType(sndVectorType->getElementType(), snd.isLeftValue));
             }
         }
+
+        if (auto fstUniformParamGroupType = as<UniformParameterGroupType>(fst))
+            return TryUnifyTypes(constraints, QualType(fstUniformParamGroupType->getElementType(), fst.isLeftValue), snd);
+        if (auto sndUniformParamGroupType = as<UniformParameterGroupType>(snd))
+            return TryUnifyTypes(constraints, fst, QualType(sndUniformParamGroupType->getElementType(), snd.isLeftValue));
         return false;
     }
 
-- 
cgit v1.2.3