diff options
| author | Yong He <yonghe@outlook.com> | 2024-08-20 20:51:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-20 20:51:57 -0700 |
| commit | f9f6a28df40f418ddd0c8ff3b9cacccdb085e202 (patch) | |
| tree | a6bafa63cee4f9bbcfe496de54af6e5727bb021e /source/slang/slang-check-impl.h | |
| parent | 03e1e17745920c8e3a7b6f4e3b1e64062589604a (diff) | |
Support dependent generic constraints. (#4870)
* Support dependent generic constraints.
* Fix warning.
* Update comment.
* Fix.
* Add a test case to verify fix of #3804.
* Address review.
Diffstat (limited to 'source/slang/slang-check-impl.h')
| -rw-r--r-- | source/slang/slang-check-impl.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/slang/slang-check-impl.h b/source/slang/slang-check-impl.h index fea81f68c..82ac8de59 100644 --- a/source/slang/slang-check-impl.h +++ b/source/slang/slang-check-impl.h @@ -2102,6 +2102,7 @@ namespace Slang }; Type* TryJoinVectorAndScalarType( + ConstraintSystem* constraints, VectorExpressionType* vectorType, BasicExpressionType* scalarType); @@ -2196,11 +2197,13 @@ namespace Slang ConversionCost getConversionCost(Type* toType, QualType fromType); Type* _tryJoinTypeWithInterface( + ConstraintSystem* constraints, Type* type, Type* interfaceType); // Try to compute the "join" between two types Type* TryJoinTypes( + ConstraintSystem* constraints, QualType left, QualType right); |