summaryrefslogtreecommitdiff
path: root/source/slang/slang-check-type.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/slang/slang-check-type.cpp')
-rw-r--r--source/slang/slang-check-type.cpp10
1 files changed, 7 insertions, 3 deletions
diff --git a/source/slang/slang-check-type.cpp b/source/slang/slang-check-type.cpp
index ea808e456..b92f9a8f7 100644
--- a/source/slang/slang-check-type.cpp
+++ b/source/slang/slang-check-type.cpp
@@ -74,7 +74,7 @@ namespace Slang
{
if (auto overloadedExpr = as<OverloadedExpr>(expr))
{
- expr = ResolveOverloadedExpr(overloadedExpr, LookupMask::type);
+ expr = resolveOverloadedExpr(overloadedExpr, LookupMask::type);
}
if (auto typeType = as<TypeType>(expr->type))
@@ -115,7 +115,7 @@ namespace Slang
if (auto overloadedExpr = as<OverloadedExpr>(exp))
{
// assume that if it is overloaded, we want a type
- exp = ResolveOverloadedExpr(overloadedExpr, LookupMask::type);
+ exp = resolveOverloadedExpr(overloadedExpr, LookupMask::type);
}
if (auto typeType = as<TypeType>(exp->type))
@@ -162,7 +162,11 @@ namespace Slang
Type* type = typeExp.type.Ptr();
if(!type && typeExp.exp)
{
- if(auto typeType = as<TypeType>(typeExp.exp->type))
+ auto expr = typeExp.exp;
+
+ expr = maybeResolveOverloadedExpr(expr, LookupMask::type, diagSink);
+
+ if(auto typeType = as<TypeType>(expr->type))
{
type = typeType->type;
}