diff options
Diffstat (limited to 'source/slang/slang-check-type.cpp')
| -rw-r--r-- | source/slang/slang-check-type.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/source/slang/slang-check-type.cpp b/source/slang/slang-check-type.cpp index bdf9c829a..82f9596e6 100644 --- a/source/slang/slang-check-type.cpp +++ b/source/slang/slang-check-type.cpp @@ -146,6 +146,7 @@ Type* SemanticsVisitor::ExtractGenericArgType(Expr* exp) IntVal* SemanticsVisitor::ExtractGenericArgInteger( Expr* exp, Type* genericParamType, + ConstantFoldingKind kind, DiagnosticSink* sink) { IntVal* val = CheckIntegerConstantExpression( @@ -153,7 +154,7 @@ IntVal* SemanticsVisitor::ExtractGenericArgInteger( genericParamType ? IntegerConstantExpressionCoercionType::SpecificType : IntegerConstantExpressionCoercionType::AnyInteger, genericParamType, - ConstantFoldingKind::SpecializationConstant, + kind, sink); if (val) return val; @@ -168,7 +169,11 @@ IntVal* SemanticsVisitor::ExtractGenericArgInteger( IntVal* SemanticsVisitor::ExtractGenericArgInteger(Expr* exp, Type* genericParamType) { - return ExtractGenericArgInteger(exp, genericParamType, getSink()); + return ExtractGenericArgInteger( + exp, + genericParamType, + ConstantFoldingKind::LinkTime, + getSink()); } Val* SemanticsVisitor::ExtractGenericArgVal(Expr* exp) |
