Allow `no_diff` on `this` parameter. (#2543)

1 files changed, 9 insertions, 1 deletions

diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp
index 7297ca282..336682bf4 100644
--- a/source/slang/slang-check-expr.cpp
+++ b/source/slang/slang-check-expr.cpp
@@ -503,7 +503,11 @@ namespace Slang
         auto toBeSynthesized = m_astBuilder->create<ToBeSynthesizedModifier>();
         addModifier(synthesizedDecl, toBeSynthesized);
 
-        return ConstructDeclRefExpr(makeDeclRef(synthesizedDecl), nullptr, originalExpr->loc, originalExpr);
+        return ConstructDeclRefExpr(
+            makeDeclRef(synthesizedDecl),
+            nullptr,
+            originalExpr ? originalExpr->loc : SourceLoc(),
+            originalExpr);
     }
 
     Expr* SemanticsVisitor::ConstructLookupResultExpr(
@@ -1927,6 +1931,10 @@ namespace Slang
                             {
                                 getSink()->diagnose(forwardDiff, Diagnostics::functionNotMarkedAsDifferentiable, funcDecl, "backward");
                             }
+                            if (!isEffectivelyStatic(funcDecl) && !isGlobalDecl(funcDecl))
+                            {
+                                getSink()->diagnose(forwardDiff, Diagnostics::nonStaticMemberFunctionNotAllowedAsDiffOperand, funcDecl);
+                            }
                         }
                     }
                 }