From 09684224d5ab63f530d66c0be65fa50e6fc5290b Mon Sep 17 00:00:00 2001 From: Yong He Date: Wed, 30 Nov 2022 13:24:39 -0800 Subject: Support `no_diff` on existential typed params. (#2540) Co-authored-by: Yong He --- source/slang/slang-check-decl.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (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 5e6c6eedf..d36e6286d 100644 --- a/source/slang/slang-check-decl.cpp +++ b/source/slang/slang-check-decl.cpp @@ -4715,7 +4715,8 @@ namespace Slang maybeRegisterDifferentiableType(m_astBuilder, decl->returnType.type); if (as(decl) || !isEffectivelyStatic(decl)) { - auto thisType = calcThisType(makeDeclRef(decl)); + auto parentDeclRef = createDefaultSubstitutionsIfNeeded(m_astBuilder, this, makeDeclRef(decl->parentDecl)); + auto thisType = calcThisType(parentDeclRef); maybeRegisterDifferentiableType(m_astBuilder, thisType); } m_parentDifferentiableAttr = oldAttr; -- cgit v1.2.3