From e036c7f38e3b8b1f0b0e0ac1b4ef22fc6f16963b Mon Sep 17 00:00:00 2001 From: ArielG-NV <159081215+ArielG-NV@users.noreply.github.com> Date: Tue, 8 Jul 2025 17:18:02 -0700 Subject: Fix `extension` incorrectly interacting with `equality` and `type-coercion` constraints (#7578) * fix problem * cleanup comment * format code * make change more restrictive * format code * push logic update * format code * push test fix * make test more general --------- Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> --- source/slang/slang-check-decl.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'source/slang/slang-check-decl.cpp') diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp index 558834c34..5de83e24d 100644 --- a/source/slang/slang-check-decl.cpp +++ b/source/slang/slang-check-decl.cpp @@ -3398,9 +3398,9 @@ void SemanticsDeclHeaderVisitor::visitGenericDecl(GenericDecl* genericDecl) ensureDecl(valParam, DeclCheckState::ReadyForReference); valParam->parameterIndex = parameterIndex++; } - else if (auto constraint = as(m)) + else if (as(m) || as(m)) { - ensureDecl(constraint, DeclCheckState::ReadyForReference); + ensureDecl(m, DeclCheckState::ReadyForReference); } } } -- cgit v1.2.3